TY  - RPRT
TI  - ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving
AU  - Wenqian Ye
AU  - Ziwei Guan
AU  - Eric Xie
AU  - Bohan Liu
AU  - Shivani Modi
AU  - Buyun Zhang
AU  - Ellie Dingqiao Wen
AU  - Henry Kautz
AU  - Aidong Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2608.26334
ID  - 2608.26334
ER  -