Theorem Proving

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving

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