activity
20242026
most citedDeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

6 citations · 10 across the 17 of their papers we have counts for

collaborators
Showing 2026Show all

13 papers · 1 filter

cs.AI2026

AlphaDiana: A Measurement System for Agents in Verifiable Reasoning Tasks

Zhanke Zhou, Zongze Li, Weikai Huang +16

Agents pair reasoning models with harnesses that organize model calls, execute tools, load skill instructions, and retain history in memory. Understanding agent performance require…

cs.SE2026

AutoEnvScaling: Automating the Data Flywheel with Terminal Agents

Simon Yu, Baolin Peng, Bo Liu +8

Terminal agents solve tasks in software engineering and scientific research by executing commands in a terminal. Training them via reinforcement learning (RL) requires diverse and…

cs.AI2026

Evolving in Thought Space: Training a Small Model at Test Time Unlocks Better Discoveries

Chonghe Jiang, Ao Qu, Siyuan Liu +9

Open-ended scientific discovery often requires repeatedly proposing and evaluating candidate solutions. LLM-based systems can support this process by generating and refining execut…

cs.AI2026

RefCon: Iterative Refinement and Contrastive Memory Extraction for Context-Evolving Agent

Ubaidillah Ariq Prathama, Bo Liu, Yeo Boon Hong +3

Long-horizon agent interactions generate useful but noisy experience, and retraining models to absorb it is expensive. Context-evolving agents therefore need memory extraction meth…

cs.LG2026

Bayes-Sufficient Compression Is Not Enough: How Does Communication Help Multi-Agent Systems?

Yi Xie, Zhanke Zhou, Yi Fan +3

Multi-agent LLM systems pair a sender with broad context and an executor with a limited local view. We study when a short message improves the executor's next decision, when raw co…

cs.CL2026

SPADE: Self-Play in Adaptive Synthetic Executable Environments

Bo Liu, Simon Yu, Yiding Jiang +15

Continuous self-improvement requires an ever-expanding pool of self-generated, diverse, adaptive goals. For language agents, existing training environment pools (hand-curated, stat…

cs.SE2026

PERFOPT-Bench: Evaluating Coding Agents on Software Performance Optimization

Yingyun Cui, Yi Xie, Piaohong Wang +3

Coding-agent benchmarks have largely measured whether agents can produce functionally correct patches, but production software also demands measurable speedups on real execution ta…

cs.CL2026

Learning Stateful Predictive Knowledge From Experience

Yan Song, Xidong Feng, Bo Liu +7

As large language model (LLM) agents increasingly learn from experience, they primarily rely on trajectory-level reflection to extract insights. Viewed through the lens of predicti…

cs.LG2026

TeamTR: Trust-Region Fine-Tuning for Multi-Agent LLM Coordination

Yi Xie, Siao Liu, Falong Fan +3

Multi-agent LLM systems have shown promise for complex reasoning, yet recent evaluations reveal they often underperform single-model baselines. We identify a structural failure mod…

cs.LG2026

SAT: Sequential Agent Tuning for Coordinator Free Plug and Play Multi-LLM Training with Monotonic Improvement Guarantees

Yi Xie, Yangyang Xu, Yi Fan +1

Large language models (LLMs) with a large number of parameters achieve strong performance but are often prohibitively expensive to deploy. Recent work explores using teams of small…

cs.LG2026

From to : Investigating Reinforcement Learning in Pre-train Space

Yuqiao Tan, Minzheng Wang, Bo Liu +5

While reinforcement learning with verifiable rewards (RLVR) significantly enhances LLM reasoning by optimizing the conditional distribution P(y|x), its potential is fundamentally b…

cs.LG2026

: Better Prompt Optimization with Fewer Prompts

Zhaolin Gao, Yu, Wang +4

Prompt optimization improves language models without updating their weights by searching for a better system prompt, but its effectiveness varies widely across tasks. We study what…

cs.AI2026

Examining Reasoning LLMs-as-Judges in Non-Verifiable LLM Post-Training

Yixin Liu, Yue Yu, DiJia Su +7

Reasoning LLMs-as-Judges, which can benefit from inference-time scaling, provide a promising path for extending the success of reasoning models to non-verifiable domains where the…