11 citations · 13 across the 9 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
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.AI2026
Infeasibility Aware Large Language Models for Combinatorial Optimization
Yakun Wang, Min Chen, Zeguan Wu +3
Large language models (LLMs) are increasingly explored for NP-hard combinatorial optimization problems, but most existing methods emphasize feasible-instance solution generation an…