Carlos Simpson

will talk about the interaction between proof assistants and reinforcement learning