LudwigAbap

cs.LG

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 Matěj Kripner · 2025 LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 cs.AI cs.LG
paper Huajian Xin · 2024 DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search cs.AI cs.CL cs.LG cs.LO
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 Xingwei Qu · 2026 Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space cs.AI cs.LG

paper Eric Todd · 2025 In-Context Algebra cs.CL cs.LG

paper Xingwei Qu · 2026 Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space cs.AI cs.LG
paper Sean Welleck · 2023 LLMSTEP: LLM proofstep suggestions in Lean cs.AI cs.LG
paper Jiewen Hu · 2025 miniCTX: Neural Theorem Proving with (Long-)Contexts cs.AI cs.CL cs.LG
paper Vedant Shah · 2025 AI-Assisted Generation of Difficult Math Questions cs.AI cs.LG
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 Matěj Kripner · 2025 LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4 cs.AI cs.LG
paper Huajian Xin · 2024 DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search cs.AI cs.CL cs.LG cs.LO
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 Thomas Zhu · 2025 Premise Selection for a Lean Hammer cs.AI cs.LG cs.LO
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 Fiona Y. Wang · 2025 Swarms of Large Language Model Agents for Protein Sequence Design with Experimental Validation cond-mat.mes-hall cond-mat.soft cs.AI cs.CL cs.LG

paper Max Y. Ma · 2025 Deep Manifold Part 2: Neural Network Mathematics cs.AI cs.LG
paper Juergen Schmidhuber · 2015 On Learning to Think: Algorithmic Information Theory for Novel Combinations of Reinforcement Learning Controllers and Recurrent Neural World Models cs.AI cs.LG cs.NE

paper François Charton · 2025 Transformers know more than they can tell -- Learning the Collatz sequence cs.LG
paper Prakhar Kaushik · 2025 The Universal Weight Subspace Hypothesis cs.AI cs.CV cs.LG

paper Tianyu Fu · 2025 Cache-to-Cache: Direct Semantic Communication Between Large Language Models cs.CL cs.LG

paper Quang Pham · 2022 Continual Learning: Fast and Slow cs.AI cs.CV cs.LG
paper Jack Bell · 2025 The Future of Continual Learning in the Era of Foundation Models: Three Key Directions cs.AI cs.LG

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

paper Cunxi Yu · 2025 Autonomous Code Evolution Meets NP-Completeness cs.AI cs.LG cs.LO

paper Jordi Grau-Moya · 2024 Learning Universal Predictors cs.AI cs.LG
paper Jun Wan · 2025 Large Language Models as Computable Approximations to Solomonoff Induction cs.AI cs.CL cs.LG

paper Runjin Chen · 2025 Persona Vectors: Monitoring and Controlling Character Traits in Language Models cs.CL cs.LG

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

paper Mihir Prabhudesai · 2025 Diffusion Beats Autoregressive in Data-Constrained Settings cs.AI cs.CV cs.LG cs.RO
paper Alex Cloud · 2025 Subliminal Learning: Language models transmit behavioral traits via hidden signals in data cs.AI cs.LG

paper David C. Krakauer · 2025 Large Language Models and Emergence: A Complex Systems Perspective cs.AI cs.CL cs.LG cs.NE

paper Xiyu Zhai · 2025 Transformers are Efficient Compilers, Provably cs.LG cs.PL

paper Aurko Roy · 2025 Fast and Simplex: 2-Simplicial Attention in Triton cs.AI cs.LG

paper Simran Arora · 2025 Simple linear attention language models balance the recall-throughput tradeoff cs.CL cs.LG

paper Suman Sapkota · 2023 Dimension Mixer: A Generalized Method for Structured Sparsity in Deep Neural Networks cs.LG

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

paper Luke Darlow · 2025 Continuous Thought Machines cs.AI cs.LG

paper Subham Sekhar Sahoo · 2025 The Diffusion Duality cs.AI cs.CL cs.LG

paper C. Opus · 2025 Comment on The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity cs.AI cs.LG

paper Hugh Zhang · 2023 Chain-of-Thought Reasoning is a Policy Improvement Operator cs.AI cs.CL cs.LG
paper Jonathan Richens · 2025 General agents need world models cs.AI cs.LG cs.RO stat.ML
paper Shibo Hao · 2023 Reasoning with Language Model is Planning with World Model cs.AI cs.CL cs.LG

paper Marc Finzi · 2025 Compute-Optimal LLMs Provably Generalize Better With Scale cs.AI cs.LG
paper Changhai Zhou · 2025 Large Language Model Compression with Global Rank and Sparsity Optimization cs.AI cs.LG
paper Branton DeMoss · 2024 The Complexity Dynamics of Grokking cs.LG
paper Jascha Sohl-Dickstein · 2015 Deep Unsupervised Learning using Nonequilibrium Thermodynamics cond-mat.dis-nn cs.LG q-bio.NC stat.ML
paper Michael Poli · 2024 Mechanistic Design and Scaling of Hybrid Architectures cs.LG
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 Tri Dao · 2022 FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness cs.LG

paper Yang Chen · 2025 AceReason-Nemotron: Advancing Math and Code Reasoning through Reinforcement Learning cs.AI cs.CL cs.LG
paper Shenzhi Wang · 2025 Beyond the 80/20 Rule: High-Entropy Minority Tokens Drive Effective Reinforcement Learning for LLM Reasoning cs.AI cs.CL cs.LG

paper Zafir Stojanovski · 2025 REASONING GYM: Reasoning Environments for Reinforcement Learning with Verifiable Rewards cs.AI cs.CL cs.LG

paper Jessy Lin · 2024 Learning to Model the World with Language cs.AI cs.CL cs.LG

paper Ted Zadouri · 2025 Hardware-Efficient Attention for Fast Decoding cs.CL cs.LG

paper Paulius Micikevicius · 2022 FP8 Formats for Deep Learning cs.LG
paper Sagnik Mukherjee · 2025 Reinforcement Learning Finetunes Small Subnetworks in Large Language Models cs.LG
paper Aske Plaat · 2022 Deep Reinforcement Learning, a textbook cs.AI cs.LG

paper Shen Nie · 2025 Large Language Diffusion Models cs.CL cs.LG
paper Andrew Zhao · 2025 Absolute Zero: Reinforced Self-play Reasoning with Zero Data cs.AI cs.CL cs.LG

paper Siliang Zeng · 2025 Reinforcing Multi-Turn Reasoning in LLM Agents via Turn-Level Credit Assignment cs.LG
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 Yi Xu · 2025 Visual Planning: Let's Think Only with Images cs.AI cs.CL cs.CV cs.LG
paper Minyoung Huh · 2024 The Platonic Representation Hypothesis cs.AI cs.CV cs.LG cs.NE

paper Federico Barbero · 2025 Round and Round We Go! What makes Rotary Positional Encodings useful? cs.CL cs.LG
paper Woosuk Kwon · 2023 Efficient Memory Management for Large Language Model Serving with PagedAttention cs.DC cs.LG

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 Guanzhi Wang · 2023 Voyager: An Open-Ended Embodied Agent with Large Language Models cs.AI cs.LG

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

paper A. Emin Orhan · 2023 Learning high-level visual representations from a child's perspective without strong inductive biases cs.CV cs.LG cs.NE q-bio.NC
paper Tiberiu Musat · 2025 Mechanism and Emergence of Stacked Attention Heads in Multi-Layer Transformers cs.CL cs.LG
paper Tanishq Kumar · 2024 Scaling Laws for Precision cs.CL cs.LG
paper Liqun Ma · 2024 FBI-LLM: Scaling Up Fully Binarized LLMs from Scratch via Autoregressive Distillation cs.AI cs.CL cs.LG

paper Yanbo Zhang · 2024 Diffusion Models are Evolutionary Algorithms cs.LG cs.NE

paper Simon Kornblith · 2019 Similarity of Neural Network Representations Revisited cs.LG q-bio.NC stat.ML
paper Mahmoud Assran · 2023 Self-Supervised Learning from Images with a Joint-Embedding Predictive Architecture cs.AI cs.CV cs.LG eess.IV
paper Zicheng Lin · 2025 Critical Tokens Matter: Token-Level Contrastive Estimation Enhances LLM's Reasoning Capability cs.AI cs.CL cs.LG

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

paper Neel Nanda · 2023 Progress measures for grokking via mechanistic interpretability cs.AI cs.LG
paper Arthur Conmy · 2023 Towards Automated Circuit Discovery for Mechanistic Interpretability cs.LG

paper Guanghao Ye · 2025 On the Emergence of Thinking in LLMs I: Searching for the Right Intuition cs.AI cs.CL cs.LG