Title: Bayesian Optimization in Molecule Space: Challenges and Opportunities Speaker: Austin Tripp Affiliation: University of Cambridge Location: Huxley 315 Abstract. Rational design of experiments in chemistry is one of the most commonly mentioned applications of Bayesian optimization (BO). Therefore you might presume that existing BO algorithms for chemistry are well-developed. In this talk I explain how... Read more »

Title: Pessimistic Bilevel Optimization Pessimistic bilevel optimization problems, as optimistic ones, possess a structure involving three interrelated optimization problems. Moreover, their finite infima are only attained under strong conditions. We address these difficulties within a framework of moderate assumptions and a perturbation approach which allow us to approximate such finite infima arbitrarily well by minimal... Read more »

TITLE: Learn to Relax: Integrating Integer Linear Programming with Conflict-Driven Search   ABSTRACT: Pseudo-Boolean (PB) solvers optimize 0-1 integer linear programs by extending the conflict-driven learning paradigm from SAT solving. Though PB solvers should be exponentially more efficient than SAT solvers in theory, in practice they can sometimes get hopelessly stuck even when the relaxed... Read more »