Formal Theorem Proving

Papers on using language models with reinforcement learning and symbolic reasoning to automatically prove mathematical theorems and verify formal systems.