Steering LLMs for Formal Theorem Proving

Shashank Kirtania, Arun Iyer

Recent advances in automated theorem proving use Large Language Models (LLMs) to translate informal mathematical statements into formal proofs. However, informal cues are often amb…