27 citations · 64 across the 23 of their papers we have counts for
6 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…
Rethinking Reasoning Paths as Phase-Structured Trajectories
Zhenghao He, Guangzhi Xiong, Sanchit Sinha +3
Large language models often improve problem-solving performance by generating multi-step reasoning paths, yet how to analyze the hidden states along these paths remains unclear. Ex…
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…
On-Board Vision-Language Models for Personalized Autonomous Vehicle Motion Control: System Design and Real-World Validation
Can Cui, Zichong Yang, Yupeng Zhou +11
Personalized driving refers to an autonomous vehicle's ability to adapt its driving behavior or control strategies to match individual users' preferences and driving styles while m…
A Survey on Multimodal Large Language Models for Autonomous Driving
Can Cui, Yunsheng Ma, Xu Cao +18
With the emergence of Large Language Models (LLMs) and Vision Foundation Models (VFMs), multimodal AI systems benefiting from large models have the potential to equally perceive th…