2 papers
cs.AI2026
Heterogeneous Agentic Coevolution
Wenqian Ye, Ziwei Guan, Zi Yang +14
Recent advances in self-improving LLM agents have demonstrated the potential of AI systems that drive their own intelligence. However, many domain-specific applications rely on spe…
cs.AI2026
ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving
Wenqian Ye, Ziwei Guan, Eric Xie +6
Automated theorem proving offers a natural foundation for recursive self-improvement in scientific discovery. However, existing neural provers do not fully preserve this recursive…