LudwigAbap

stat.ML

Subcategories

Papers

paper Dhiraj Kalamkar · 2019 A Study of BFLOAT16 for Deep Learning Training cs.LG stat.ML
paper Dhiraj Kalamkar · 2019 A Study of BFLOAT16 for Deep Learning Training cs.LG stat.ML

paper Bruno Gavranović · 2024 Position: Categorical Deep Learning is an Algebraic Theory of All Architectures cs.AI cs.LG math.CT math.RA stat.ML

paper Aditya Paliwal · 2019 Graph Representations for Higher-Order Logic and Theorem Proving cs.AI cs.LG cs.LO stat.ML
paper Michael M. Bronstein · 2021 Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges cs.AI cs.CG cs.CV cs.LG stat.ML
paper Peiyang Song · 2025 Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean cs.AI cs.LG cs.LO stat.ML

paper Aditya Paliwal · 2019 Graph Representations for Higher-Order Logic and Theorem Proving cs.AI cs.LG cs.LO stat.ML
paper Michael M. Bronstein · 2021 Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges cs.AI cs.CG cs.CV cs.LG stat.ML
paper Peiyang Song · 2025 Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean cs.AI cs.LG cs.LO stat.ML
paper Kaiyu Yang · 2023 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models cs.AI cs.LG cs.LO stat.ML
paper Bruno Gavranović · 2024 Position: Categorical Deep Learning is an Algebraic Theory of All Architectures cs.AI cs.LG math.CT math.RA stat.ML

paper Kaiyue Wen · 2025 Fantastic Pretraining Optimizers and Where to Find Them cs.AI cs.LG stat.ML

paper Dan A. Calian · 2025 DataRater: Meta-Learned Dataset Curation cs.AI cs.LG stat.ML

paper Adam Roberts · 2020 How Much Knowledge Can You Pack Into the Parameters of a Language Model? cs.CL cs.LG stat.ML

paper Jonathan Richens · 2025 General agents need world models cs.AI cs.LG cs.RO stat.ML

paper Jascha Sohl-Dickstein · 2015 Deep Unsupervised Learning using Nonequilibrium Thermodynamics cond-mat.dis-nn cs.LG q-bio.NC stat.ML
paper Michael M. Bronstein · 2021 Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges cs.AI cs.CG cs.CV cs.LG stat.ML
paper Vitaly Feldman · 2025 Trade-offs in Data Memorization via Strong Data Processing Inequalities cs.IT cs.LG math.IT stat.ML

paper Artem Riabinin · 2025 Gluon: Making Muon & Scion Great Again! (Bridging Theory and Practice of LMO-based Optimizers for LLMs) cs.LG math.OC stat.ML

paper Libin Zhu · 2025 Iteratively reweighted kernel machines efficiently learn sparse functions cs.LG math.OC math.ST stat.ML stat.TH
paper Adityanarayanan Radhak... · 2023 Mechanism of feature learning in deep fully connected networks and kernel machines that recursively learn features cs.AI cs.LG stat.ML

paper Jonathan Ho · 2020 Denoising Diffusion Probabilistic Models cs.LG stat.ML

paper Simon Kornblith · 2019 Similarity of Neural Network Representations Revisited cs.LG q-bio.NC stat.ML

paper Andrew M. Saxe · Proceedings of the... 2019 A mathematical theory of semantic development in deep neural networks cs.AI cs.LG q-bio.NC stat.ML