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

Christian Walder
Christian Walder
Activity Leader
Senior Researcher
Honorary Visting Fellow

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