@misc{indiciae42a3378d0b16,
  title = {Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing},
  author = {Bodla Krishna Vamshi and Haizhao Yang},
  year = {2026},
  url = {https://arxiv.org/abs/2608.28639},
  note = {Source identifier: 2608.28639}
}