5 citations · 7 across the 6 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
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…
cs.AI2026
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…