TY  - RPRT
TI  - OProver: A Unified Framework for Agentic Formal Theorem Proving
AU  - David Ma
AU  - Kaijing Ma
AU  - Shawn Guo
AU  - Yunfeng Shi
AU  - Enduo Zhao
AU  - Jiajun Shi
AU  - Zhaoxiang Zhang
AU  - Gavin Cheung
AU  - Jiaheng Liu
AU  - Zili Wang
PY  - 2026
UR  - https://arxiv.org/abs/2605.17283
ID  - 2605.17283
ER  -