2026
Mathesis: Towards Formal Theorem Proving from Natural Languages
ICLR 2026poster
Recent advances in large language models (LLMs) show strong promise for formal reasoning. However, most LLM-based theorem provers remain constrained by the need for expert-written formal statements as inputs, limiting their applicability to real-world problems expressed in natural language. We addre…