@misc{indiciae853fa1a7122a,
  title = {Automating Formal Verification with Agent-Guided Tree Search},
  author = {Leo Yao},
  year = {2026},
  url = {https://arxiv.org/abs/2605.27485},
  note = {Source identifier: 2605.27485}
}