23 citations · 35 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
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…
ALPS: Measuring Valid Creativity in Large Language Models with Mathematical Construction
Eric Xie, Wenqian Ye, Aidong Zhang
Large language models produce outputs presented as discoveries - new proofs, conjectures, or molecules. Whether such an output that appears creative is truly original and effective…
SlideBot: A Multi-Agent Framework for Generating Informative, Reliable, Multi-Modal Presentations
Eric Xie, Danielle Waterfield, Michael Kennedy +1
Large Language Models (LLMs) have shown immense potential in education, automating tasks like quiz generation and content summarization. However, generating effective presentation…