AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification Paper • 2607.11849 • Published 6 days ago • 32
Harness Handbook: Making Evolving Agent Harnesses Readable,Navigable, and Editable Paper • 2607.13285 • Published 5 days ago • 194
DataComp-VLM: Improved Open Datasets for Vision-Language Models Paper • 2606.28551 • Published 23 days ago • 52
ResearchStudio-Reel: Automate the Last Mile of Research from Paper to Poster, Video, and Blog Paper • 2607.04438 • Published 14 days ago • 63
ResearchStudio-Idea: An Evidence-Grounded Research-Ideation Skill Suite from ML Conference Outcomes Paper • 2607.04439 • Published 14 days ago • 60
GUICrafter: Weakly-Supervised GUI Agent Leveraging Massive Unannotated Screenshots Paper • 2606.29705 • Published 20 days ago • 16
Little Brains, Big Feats: Exploring Compact Language Models Paper • 2606.30062 • Published 20 days ago • 16
Data Journalist Agent: Transforming Data into Verifiable Multimodal Stories Paper • 2606.11176 • Published Jun 9 • 131
TheoremGraph: Bridging Formal and Informal Mathematics Paper • 2606.25363 • Published 25 days ago • 12
How Good Can Linear Models Be for Time-Series Forecasting? Paper • 2606.27282 • Published 24 days ago • 13
Toward Generalist Autonomous Research via Hypothesis-Tree Refinement Paper • 2606.11926 • Published Jun 10 • 128
COrigami: An AI Pipeline for Co-Designing Flat-Foldable Visually Recognisable Origami Paper • 2606.26299 • Published 25 days ago • 5
PerceptionDLM: Parallel Region Perception with Multimodal Diffusion Language Models Paper • 2606.19534 • Published Jun 17 • 64
VibeThinker-3B: Exploring the Frontier of Verifiable Reasoning in Small Language Models Paper • 2606.16140 • Published Jun 15 • 123