← Search

Amar Shah

8 accepted papers

2024

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes

AAAI 2024technical

Algebraic data types (ADTs) are a construct classically found in functional programming languages that capture data structures like enumerated types, lists, and trees. In recent years, interest in ADTs has increased. For example, popular programming languages, like Python, have added support for ADT…

2020

Urban Driving with Conditional Imitation Learning

ICRA 2020poster

Hand-crafting generalised decision-making rules for real-world urban autonomous driving is hard. Alternatively, learning behaviour from easy-to-collect human driving demonstrations is appealing. Prior work has studied imitation learning (IL) for autonomous driving with a number of limitations. Examp…

Cited by 198SourceScholar
2019

Learning to Drive in a Day

ICRA 2019poster

We demonstrate the first application of deep reinforcement learning to autonomous driving. From randomly initialised parameters, our model is able to learn a policy for lane following in a handful of training episodes using a single monocular image as input. We provide a general and easy to obtain r…

Cited by 956SourceScholar
2016

Predictive Entropy Search for Multi-objective Bayesian Optimization

ICML 2016poster

We present \small PESMO, a Bayesian method for identifying the Pareto set of multi-objective optimization problems, when the functions are expensive to evaluate. \small PESMO chooses the evaluation points to maximally reduce the entropy of the posterior distribution over the Pareto set. The \small P…

Cited by 297SourcePDFScholar
2015

An Empirical Study of Stochastic Variational Inference Algorithms for the Beta Bernoulli Process

ICML 2015poster

Stochastic variational inference (SVI) is emerging as the most promising candidate for scaling inference in Bayesian probabilistic models to large datasets. However, the performance of these methods has been assessed primarily in the context of Bayesian topic models, particularly latent Dirichlet al…

Cited by 27SourcePDFScholar
2015

Parallel Predictive Entropy Search for Batch Global Optimization of Expensive Objective Functions

NeurIPS 2015poster

We develop \textit{parallel predictive entropy search} (PPES), a novel algorithm for Bayesian optimization of expensive black-box objective functions. At each iteration, PPES aims to select a \textit{batch} of points which will maximize the information gain about the global maximizer of the objectiv…

Cited by 189SourcePDFScholar