Cite
Notes
Only stored in your browser.
Attribution
OProver: A Unified Framework for Agentic Formal Theorem Proving
arXiv 2026
NL2Repo-Bench: Towards Long-Horizon Repository Generation Evaluation of Coding Agents
arXiv 2025
from 2 papers
Jiaheng Liu
Zhaoxiang Zhang
Bo Deng
Changxin Pu
Chao He
Chenchen Zhang
Chenyang Zou
Chongyao Tao
Daoguang Zan
David Ma