9 citations · 20 across the 18 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
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
NxN E-valuation: Hypothesis Certification via a Conformal CRT Null
Bin Wang, Yan Zhong, Liang Luo +3
Language models now propose hypotheses faster than anyone can check them, so the step that certifies them must need nothing from the proposer but the hypothesis. We state three req…
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…