Automated Prover

Proving Theorems with Generative Language Models

Speaker(s): Ashwin Sreevatsa