TY  - RPRT
TI  - Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing
AU  - Bodla Krishna Vamshi
AU  - Haizhao Yang
PY  - 2026
UR  - https://arxiv.org/abs/2608.28639
ID  - 2608.28639
ER  -