h1: A Taste of the Bitter Lesson in Automated Theorem Proving Paper • 2610.35962 • Published 12 days ago • 20
Hy-Nomas: Towards Free-form Interactive World Generation Paper • 2610.36729 • Published 10 days ago • 113
Assessing the CAD Capabilities of General-Purpose AI Models: A Case Study of GPT-6 Astra Paper • 2610.24451 • Published 20 days ago • 5
Nested Sparsity for Scalable Pretraining and Continual Learning Paper • 2610.31818 • Published 15 days ago • 10
PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean Paper • 2610.31810 • Published 15 days ago • 9
OR-License: Evaluating LLM Agents as Real-World Operations Research Practitioners Paper • 2610.24087 • Published 21 days ago • 31
Kronecker Delta Rule for Long Context Linear Attention Paper • 2610.26834 • Published 18 days ago • 31
CineRecon: Benchmarking Frontier Models for Agentic Cinematic Reconstruction Paper • 2610.16577 • Published 25 days ago • 23
Retrieval-Centric Deep Learning in Growing Nonparametric Neural Networks Paper • 2610.03858 • Published Oct 2 • 12
CADFather: Autonomous CAD Reconstruction through Coordinated Tool Use Paper • 2610.09127 • Published Oct 6 • 14
StepCAD: Mesh-to-CAD Code Generation via LLM Policy and Geometry-Guided Search Paper • 2610.03799 • Published Oct 1 • 5
PDE-JEPA: Predictive Representation Learning of Latent Dynamics Modeling for Parametric PDEs Paper • 2609.34715 • Published Sep 28 • 27
Does Learning Protein Folding Generalize to Broader Reasoning? Paper • 2609.38879 • Published Sep 30 • 37
Playing to Par: Reinforcement Learning for Provably Optimal Quadrilateral Block Decompositions Paper • 2609.32146 • Published Sep 26 • 3