Cite
Notes
Only stored in your browser.
Attribution
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
arXiv 2025
from 1 papers
Junchi Yan
Qi Liu
Qinxiang Cao
Renqiu Xia
Xinhao Zheng