TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

Christian Walder

Research Scientist
Honorary Visting Fellow

My research interests include Bayesian machine learning, sequence models for music and reinforcement learning.