2 papers
cs.AI2026
Project2Task: Graph-Guided Project-Level Planning for Autonomous Research
Huirui Xu, Runtao Xu, Shuo Ren +1
Research agents can increasingly search literature, propose hypotheses, generate code, run experiments, and draft manuscripts from a single topic. However, a research project is no…
cs.AI2026
Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization
Tian-Shuo Liu, Shiyuan Zhang, Zijie Geng +5
Full-proof autoformalization bridges extensive mathematical proofs in natural language with formally validated reasoning, offering a pathway to elevate the ceiling of verifiable ma…