Skip to content
conftrace_

Papers

199,004 papers found · 25,406 more still awaiting a processed abstract Show those too
Universal Growth in Production Economies
Simina Branzei, Ruta Mehta, Noam Nisan
2018 NeurIPS
2018 NeurIPS
2018 NeurIPS
2018 NeurIPS
Learning to Solve SMT Formulas
Mislav Balunovic, Pavol Bielik, Martin Vechev
2018 NeurIPS
2018 NeurIPS
Neural Guided Constraint Logic Programming for Program Synthesis
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya et al.
2018 NeurIPS
Learning to Infer Graphics Programs from Hand-Drawn Images
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama et al.
2018 NeurIPS
A Bayes-Sard Cubature Method
Toni Karvonen, Chris J Oates, Simo Sarkka
2018 NeurIPS
TADAM: Task dependent adaptive metric for improved few-shot learning
Boris Oreshkin, Pau Rodríguez López, Alexandre Lacoste
2018 NeurIPS
Representation Learning of Compositional Data
Marta Avalos, Richard Nock, Cheng Soon Ong et al.
2018 NeurIPS
Visual Memory for Robust Path Following
Ashish Kumar, Saurabh Gupta, David Fouhey et al.
2018 NeurIPS
2018 NeurIPS
Online Structure Learning for Feed-Forward and Recurrent Sum-Product Networks
Agastya Kalra, Abdullah Rashwan, Wei-Shou Hsu et al.
2018 NeurIPS
2018 NeurIPS
Learning Loop Invariants for Program Verification
Xujie Si, Hanjun Dai, Mukund Raghothaman et al.
2018 NeurIPS
2018 NeurIPS
Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation
Matthew O'Kelly, Aman Sinha, Hongseok Namkoong et al.
2018 NeurIPS
Active Matting
Xin Yang, Ke Xu, Shaozhe Chen et al.
2018 NeurIPS
Complex Gated Recurrent Neural Networks
Moritz Wolter, Angela Yao
2018 NeurIPS