ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving
DGX agentarXiv:2608.26334v1 Announce Type: new Abstract: Automated theorem proving offers a natural foundation for recursive self-improvement in scientific discovery. However, existing neural provers do not fu