Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
Yuqing Li, Zeguan Wu, Yu Gan +1
Designing effective Lean proof agents is a central challenge in formal mathematical reasoning. Beyond building stronger provers, recent work emphasizes the workflow around Lean: ho…
cs.AI2025
Human-AI Co-Embodied Intelligence for Scientific Experimentation and Manufacturing
Xinyi Lin, Yuyang Zhang, Yuanhang Gan +10
Scientific experimentation and manufacturing rely on prolonged protocol development and complex, multi-step implementation, which require continuous human expertise for precise exe…