1 citations · 2 across the 6 of their papers we have counts for
7 papers
CalibForge: Adversarial Solver Calibration for Scaling Learnable Terminal Tasks
Fanzhe Meng, Guoxin Chen, Jiale Zhao +6
Training terminal agents requires executable and verifiable tasks that are not merely solvable, but appropriately challenging for learning. Executable validation establishes feasib…
Scaling Laws for Code: Every Programming Language Matters
Jian Yang, Shawn Guo, Lin Jing +8
Code large language models (Code LLMs) are powerful but costly to train, with scaling laws predicting performance from model size, data, and compute. However, different programming…
IterResearch: Rethinking Long-Horizon Agents with Interaction Scaling
Guoxin Chen, Zile Qiao, Xuanzhong Chen +13
Recent advances in deep-research agents have shown promise for autonomous knowledge construction through dynamic reasoning over external sources. However, existing approaches rely…
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
Guoxin Chen, Jing Wu, Xinjie Chen +6
Autoformalization, which translates natural language mathematics into machine-verifiable formal statements, is critical for using formal mathematical reasoning to solve math proble…
MARS: Co-evolving Dual-System Deep Research via Multi-Agent Reinforcement Learning
Guoxin Chen, Zile Qiao, Wenqing Wang +10
Large Reasoning Models (LRMs) face two fundamental limitations: excessive token consumption when overanalyzing simple information processing tasks, and inability to access up-to-da…
CoAct: A Global-Local Hierarchy for Autonomous Agent Collaboration
Xinming Hou, Mingming Yang, Wenxiang Jiao +3
Existing LLMs exhibit remarkable performance on various NLP tasks, but still struggle with complex real-world tasks, even equipped with advanced strategies like CoT and ReAct. In t…
A Spatially Dependent Probabilistic Model for House Hunting in Ant Colonies
Grace Cai, Wendy Wu, Wayne Zhao +2
Ant species such as Temnothorax albipennis select a new nest site in a distributed fashion that, if modeled correctly, can serve as useful information for site selection algorithms…