Reasoning

Unifying Local Consistency and MAX SAT Relaxations for Scalable Inference with Rounding Guarantees AISTATS 2015 Universal Value Function Approximators ICML 2015 Unsupervised Learning by Program Synthesis NeurIPS 2015 Algorithm selection by rational metareasoning as a model of human strategy selection NeurIPS 2014 A Multi-World Approach to Question Answering about Real-World Scenes based on Uncertain Input NeurIPS 2014 Analysis by Synthesis: 3D Object Recognition by Object Reconstruction CVPR 2014 An Integer Polynomial Programming Based Framework for Lifted MAP Inference NeurIPS 2014 A Physics-Based Model Prior for Object-Oriented MDPs ICML 2014 Bayesian Optimization with Inequality Constraints ICML 2014 Characterizing EVOI-Sufficient k-Response Query Sets in Decision Problems AISTATS 2014 Generating Efficient MCMC Kernels from Probabilistic Programs AISTATS 2014 Hamming Ball Auxiliary Sampling for Factorial Hidden Markov Models NeurIPS 2014 Information-based learning by agents in unbounded state spaces NeurIPS 2014 Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability AISTATS 2014 Learning to Discover Efficient Mathematical Identities NeurIPS 2014 Message Passing Inference for Large Scale Graphical Models with High Order Potentials NeurIPS 2014 Modeling Deep Temporal Dependencies with Recurrent Grammar Cells"" NeurIPS 2014 New Rules for Domain Independent Lifted MAP Inference NeurIPS 2014 Online Object Tracking, Learning and Parsing with And-Or Graphs CVPR 2014 Optimal PAC Multiple Arm Identification with Applications to Crowdsourcing ICML 2014 Predictive Entropy Search for Efficient Global Optimization of Black-box Functions NeurIPS 2014 Structured Prediction via Output Space Search JMLR 2014 3D-Based Reasoning with Blocks, Support, and Stability CVPR 2013 Bayesian optimization explains human active search NeurIPS 2013 Beyond Point Clouds: Scene Understanding by Reasoning Geometry and Physics CVPR 2013