@misc{indiciae21ebd3db65f3,
  title = {Adaptive Proof Refinement with LLM-Guided Strategy Selection},
  author = {Minghai Lu and Zhe Zhou and Danning Xie and Songlin Jia and Benjamin Delaware and Tianyi Zhang},
  year = {2026},
  doi = {10.1145/3832783.3834382},
  url = {https://arxiv.org/abs/2510.25103},
  note = {Source identifier: 2510.25103}
}