Showing 2025Show all
2 papers · 1 filter
cs.SI2025
Connected Theorems: A Graph-Based Approach to Evaluating Mathematical Results
Gergely Bérczi, Bin Dong, Haocheng Ju +1
The evaluation of mathematical results plays a central role in assessing researchers' contributions and shaping the direction of the field. Currently, such evaluations rely primari…
cs.CL2025
REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
Ziju Shen, Naohao Huang, Fanyi Yang +11
Nowadays, formal theorem provers have made monumental progress on high-school and competition-level mathematics, but few of them generalize to more advanced mathematics. In this pa…