2025 Poster "proof search" Papers
3 papers found
Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
Qi Liu, Xinhao Zheng, Renqiu Xia et al.
NEURIPS 2025poster
CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search
Xiao-Wen Yang, Zhi Zhou, Haiming Wang et al.
ICLR 2025poster
4
citations
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Zenan Li, Zhaoyu Li, Wen Tang et al.
ICLR 2025posterarXiv:2502.13834
14
citations