TY  - RPRT
TI  - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
AU  - Qi Liu
AU  - Xinhao Zheng
AU  - Renqiu Xia
AU  - Xingzhi Qi
AU  - Qinxiang Cao
AU  - Junchi Yan
PY  - 2025
UR  - https://arxiv.org/abs/2505.04528
ID  - 2505.04528
ER  -