4 papers · 1 filter
You Live More Than Once: Towards Hierarchical Skill Meta-Evolving
Xujun Li, Kehan Zheng, Mingyuan Zhao +7
Test-time skill evolving is regarded as a new paradigm for enhancing deployed agentic systems. Existing works mainly focus on hard-coded skill evolving strategies or parametric lea…
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
Chengwu Liu, Yichun Yin, Ye Yuan +7
Most ATP benchmarks embed the final answer within the formal statement -- a convention we call "Easy Mode" -- a design that simplifies the task relative to what human competitors f…
Teaching Large Reasoning Models Effective Reflection
Hanbin Wang, Jingwei Song, Jinpeng Li +5
Large Reasoning Models (LRMs) have recently shown impressive performance on complex reasoning tasks, often by engaging in self-reflective behaviors such as self-critique and backtr…
Group Pattern Selection Optimization: Let LRMs Pick the Right Pattern for Reasoning
Hanbin Wang, Jingwei Song, Jinpeng Li +2
Large reasoning models (LRMs) exhibit diverse high-level reasoning patterns (e.g., direct solution, reflection-and-verification, and exploring multiple solutions), yet prevailing t…