2 citations · 3 across the 2 of their papers we have counts for
3 papers
stat.ML2022★ 2 cited
Bayesian Optimisation for Mixed-Variable Inputs using Value Proposals
Yan Zuo, Amir Dezfouli, Iadine Chades +2
Many real-world optimisation problems are defined over both categorical and continuous variables, yet efficient optimisation methods such asBayesian Optimisation (BO) are not desig…
cs.LG2021
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
Minchao Wu, Michael Norrish, Christian Walder +1
We propose a novel approach to interactive theorem-proving (ITP) using deep reinforcement learning. The proposed framework is able to learn proof search strategies as well as tacti…
cs.LG2017★ 1 cited
Semi-parametric Network Structure Discovery Models
Amir Dezfouli, Edwin V. Bonilla, Richard Nock
We propose a network structure discovery model for continuous observations that generalizes linear causal models by incorporating a Gaussian process (GP) prior on a network-indepen…