Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
PaceReasoner: Label-Free Learning to Answer Briefly from Long Reasoning
Changguo Jia, Zhiyou Xiao, Xinbei Ma +5
Extended chain-of-thought reasoning improves problem-solving performance but increases inference cost and latency, motivating more accurate answers with shorter reasoning. We intro…
cs.AI2026
VeriSkill: A Self-Evolution Framework for Program Verification Skills
Changguo Jia, Tianqi Zhao, Zhiyou Xiao +2
Automating program verification with LLM agents requires generating specifications, annotations, auxiliary lemmas, and tool invocations, all of which depend on reusable skills. A n…