Theorem Proving

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes

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

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