Agent Laboratory: Using LLM Agents as Research Assistants (2025 · 139 citations)
Researchers can pursue only a fraction of their ideas because implementing experiments and writing them up take a lot of time and money.
Reliable Use of Lemmas via Eligibility Reasoning and Section-Aware Reinforcement Learning (2026)
Large language models can score well on math benchmarks yet still invoke lemmas whose hypotheses do not hold in the given context.
Stabilizing Efficient Reasoning with Step-Level Advantage Selection (2026)
Methods that make LLM reasoning shorter usually add length penalties or pruning. They also tend to post-train in a much smaller context window than the base model used. The authors separate these two factors. They post-train DeepScaleR-1.5B-Preview with plain GRPO in a 4K window, using only a correctness reward. This…

Co-authors here

11 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

Papers of our library cite their works 110 times (of the 149,439 papers whose bibliographies we read); 19 citing papers with a page here →.

Updated 1 November 2026