conftrace_

lean formalization

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural theorem proving (2) formal mathematics (2) proof autoformalization (1) proof verification (1) large language model (1) automated reasoning (1) benchmark evaluation (1)

Papers

RLMEval: Evaluating Research-Level Neural Theorem Proving EMNLP 2025 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NeurIPS 2024