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 • 8 -
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 • 93 -
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 • 12