@misc{indiciae42dd63acfb88,
  title = {ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving},
  author = {Wenqian Ye and Ziwei Guan and Eric Xie and Bohan Liu and Shivani Modi and Buyun Zhang and Ellie Dingqiao Wen and Henry Kautz and Aidong Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2608.26334},
  note = {Source identifier: 2608.26334}
}