activity
20222026
most citedComparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems

2 citations · 2 across the 5 of their papers we have counts for

collaborators

6 papers

cs.AI2026

Can Agents Design Libraries for Agents?

Gabriel Orlanski, Alex L. Zhang, Avi Trost +4

Agents increasingly build on code written by other agents, and they reimplement rather than reuse, growing the codebases later agents must work in. To measure how well agents desig…

cs.LG2026

Test-Time Scaling Makes Overtraining Compute-Optimal

Nicholas Roberts, Sungjun Cho, Zhiqi Gao +7

Modern LLMs scale at test-time, e.g. via repeated sampling, where inference cost grows with model size and the number of samples. This creates a trade-off that pretraining scaling…

cs.LG2026

Weight Updates as Activation Shifts: A Principled Framework for Steering

Dyah Adila, John Cooper, Alexander Yun +2

Activation steering promises to be an extremely parameter-efficient form of adaptation, but its effectiveness depends on critical design choices -- such as intervention location an…

cs.LG2025

R&B: Domain Regrouping and Data Mixture Balancing for Efficient Foundation Model Training

Albert Ge, Tzu-Heng Huang, John Cooper +7

Data mixing strategies have successfully reduced the costs involved in training language models. While promising, such methods suffer from two flaws. First, they rely on predetermi…

cs.CL2024

Learning to Generate Instruction Tuning Datasets for Zero-Shot Task Adaptation

Nihal V. Nayak, Yiyang Nan, Avi Trost +1

We introduce Bonito, an open-source model for conditional task generation that converts unannotated text into task-specific training datasets for instruction tuning. We aim to enab…

cs.DL2022★ 2 cited

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems

André Greiner-Petter, Howard S. Cohl, Abdou Youssef +5

Digital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and applied mathematics) rely heavil…