conftrace_

mathematical proof

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) theorem proving (2) code correctness (1) olympiad inequality (1) reasoning failure (1) optimal learning (1) failure mode (1) interactive theorem proving (1) large language model (1) large reasoning model (1)

Papers

Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models ACL 2026 A Formal Theory of Optimal Learning with Experimental Results IJCAI 2025 Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning ICLR 2025 NaturalProver: Grounded Mathematical Proof Generation with Language Models NeurIPS 2022 Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022