The Hamilton-Jacobi Theory of Deep Learning
Paper • 2605.28983 • Published • 1
06. Math
-
-
Convex Optimization: Algorithms and Complexity
Paper • 1405.4980 • Published -
Introduction to Online Convex Optimization
Paper • 1909.05207 • Published -
Optimal Stochastic Non-smooth Non-convex Optimization through Online-to-Non-convex Conversion
Paper • 2302.03775 • Published -
Economy of Minds: Emerging Multi-Agent Intelligence with Economic Interactions
Paper • 2606.02859 • Published • 10 -
LLMs Can Leak Training Data But Do They Want To? A Propensity-Aware Evaluation of Memorization in LLMs
Paper • 2606.06286 • Published • 8 -
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
Paper • 2606.13473 • Published • 98 -
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
Paper • 2606.12594 • Published • 17 -
TheoremGraph: Bridging Formal and Informal Mathematics
Paper • 2606.25363 • Published • 11 -
The Problem Is the Problem: Towards Scalable Mathematical Discovery
Paper • 2608.16977 • Published • 7 -
SHAPE of Chain-of-Thought in Math Reasoning
Paper • 2608.28600 • Published • 30 -
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
Paper • 2609.25199 • Published • 27 -
The Past Frames the Future: Memory for Autoregressive Video Generation
Paper • 2609.28466 • Published • 65 -
HappyWorld-Bench
Paper • 2609.24308 • Published • 59 -
InternW0: A Foundational Physical World Model for Efficient Real-World Interactions
Paper • 2609.27656 • Published • 15 -
Agent-Editing World Model: Rethinking World Modeling for LLM Agents
Paper • 2609.28416 • Published • 43 -
Learning to Discover Interesting Mathematics
Paper • 2609.28603 • Published • 15 -
Disaggregated Quantization: Specializing LLM Prefill and Decode
Paper • 2609.26333 • Published • 93