@misc{indiciaee32bfcafee9c,
  title = {SCOPE: Certified Theorem Proving with a Language Model as the Policy Planner},
  author = {Hanchao Zhou and Jialei Li},
  year = {2026},
  url = {https://arxiv.org/abs/2610.08319},
  note = {Source identifier: 2610.08319}
}