LudwigAbap

cs.CL

Subcategories

Papers

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 Tudor Achim · 2025 Aristotle: IMO-level Automated Theorem Proving cs.AI cs.CL

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

paper Jiewen Hu · 2025 miniCTX: Neural Theorem Proving with (Long-)Contexts cs.AI cs.CL 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 Tudor Achim · 2025 Aristotle: IMO-level Automated Theorem Proving cs.AI cs.CL

paper Alex L. Zhang · 2025 Recursive Language Models cs.AI cs.CL

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 Tianyu Fu · 2025 Cache-to-Cache: Direct Semantic Communication Between Large Language Models cs.CL 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 Hanzhuo Tan · 2024 LLM4Decompile: Decompiling Binary Code with Large Language Models cs.CL cs.PL
paper David C. Krakauer · 2025 Large Language Models and Emergence: A Complex Systems Perspective cs.AI cs.CL cs.LG cs.NE

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

paper Mistral-AI · 2025 Magistral cs.CL
paper Qingxiu Dong · 2025 Reinforcement Pre-Training cs.CL
paper An Yang · 2025 Qwen3 Technical Report cs.CL
paper Adam Roberts · 2020 How Much Knowledge Can You Pack Into the Parameters of a Language Model? cs.CL cs.LG stat.ML

paper Nikhil Prakash · 2025 Language Models use Lookbacks to Track Beliefs cs.CL

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

paper Hugh Zhang · 2023 Chain-of-Thought Reasoning is a Policy Improvement Operator cs.AI cs.CL cs.LG
paper Shibo Hao · 2023 Reasoning with Language Model is Planning with World Model cs.AI cs.CL cs.LG

paper John X. Morris · 2025 How much do language models memorize? cs.CL
paper Sander Land · 2025 BPE Stays on SCRIPT: Structured Encoding for Robust Multilingual Pretokenization cs.CL
paper Mingjie Liu · 2025 ProRL: Prolonged Reinforcement Learning Expands Reasoning Boundaries in Large Language Models cs.AI cs.CL

paper Alexander K. Lew · 2023 Sequential Monte Carlo Steering of Large Language Models using Probabilistic Programs cs.AI cs.CL cs.PL stat.CO
paper Yang Chen · 2025 AceReason-Nemotron: Advancing Math and Code Reasoning through Reinforcement Learning cs.AI cs.CL cs.LG
paper Yang Yue · 2025 Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model? cs.AI cs.CL cs.CV
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 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 Yi Xu · 2025 Visual Planning: Let's Think Only with Images cs.AI cs.CL cs.CV cs.LG

paper Federico Barbero · 2025 Round and Round We Go! What makes Rotary Positional Encodings useful? cs.CL cs.LG

paper Artidoro Pagnoni · 2024 Byte Latent Transformer: Patches Scale Better Than Tokens cs.CL

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 Alexander Gurung · 2025 Learning to Reason for Long-Form Story Generation cs.CL

paper Jannik Brinkmann · 2025 Large Language Models Share Representations of Latent Grammatical Concepts Across Typologically Diverse Languages cs.CL
paper Christopher Wolfram · 2025 Layers at Similar Depths Generate Similar Activations Across LLM Architectures cs.AI cs.CL
paper Qiyuan Zhang · 2025 What, How, Where, and How Well? A Survey on Test-Time Scaling in Large Language Models cs.AI cs.CL
paper Khang H. N. Vo · 2025 TI-JEPA: An Innovative Energy-based Joint Embedding Strategy for Text-Image Multimodal Systems cs.CL cs.CV
paper Zichong Wang · 2024 History, Development, and Principles of Large Language Models-An Introductory Survey cs.CL
paper Zicheng Lin · 2025 Critical Tokens Matter: Token-Level Contrastive Estimation Enhances LLM's Reasoning Capability cs.AI cs.CL cs.LG

paper Shibo Hao · 2024 Training Large Language Models to Reason in a Continuous Latent Space cs.CL
paper Chris Wendler · 2024 Do Llamas Work in English? On the Latent Language of Multilingual Transformers cs.CL cs.CY

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