CWM: An Open-Weights LLM for Research on Code Generation with World Models
On the map: World models → World models for language agents
Abstract (arXiv)
We release Code World Model (CWM), a 32-billion-parameter open-weights LLM, to advance research on code generation with world models. To improve code understanding beyond what can be learned from training on static code alone, we mid-train CWM on a large amount of observation-action trajectories from Python interpreter and agentic Docker environments, and perform extensive multi-task reasoning RL in verifiable coding, math, and multi-turn software engineering environments. With CWM, we provide a strong testbed for researchers to explore the opportunities world modeling affords for improving code generation with reasoning and planning in computational environments. We present first steps of how world models can benefit agentic coding, enable step-by-step simulation of Python code execution, and show early results of how reasoning can benefit from the latter. CWM is a dense, decoder-only LLM trained with a context size of up to 131k tokens. Independent of its world modeling capabilities, CWM offers strong performance on general coding and math tasks: it reaches pass@1 scores of 65.8% on SWE-bench Verified (with test-time scaling), 68.6% on LiveCodeBench, 96.6% on Math-500, and 76.0% on AIME 2024. To support further research on code world modeling, we release model checkpoints after mid-training, SFT, and RL.
Key facts. Cited by 87 papers in the map (data through 7 Oct 2026). Placed in World models for language agents, one of 11 directions in World models. Builds on 55 of its 115 references that are in the map. First posted on arXiv 30 Sep 2025.
Builds on
55 of 115 references.
References · 55
- 2017Proximal Policy Optimization Algorithmscited by 14,441
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 8,851
- 2025Qwen3 Technical Reportcited by 8,195
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2020Scaling Laws for Neural Language Modelscited by 6,411
- 2025DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningcited by 6,146
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,601
- 2018Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challengecited by 4,710
- 2021RoFormer: Enhanced Transformer with Rotary Position Embeddingcited by 4,581
- 2025Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilitiescited by 3,655
38 more
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2022Training Compute-Optimal Large Language Modelscited by 2,927
- 2023GPQA: A Graduate-Level Google-Proof Q&A Benchmarkcited by 2,748
- 2025DAPO: An Open-Source LLM Reinforcement Learning System at Scalecited by 2,678
- 2023Code Llama: Open Foundation Models for Codecited by 2,105
- 2020GLU Variants Improve Transformercited by 1,724
- 2022Competition-Level Code Generation with AlphaCodecited by 1,427
- 2023GQA: Training Generalized Multi-Query Transformer Models from Multi-Head Checkpointscited by 1,311
- 2025Understanding R1-Zero-Like Training: A Critical Perspectivecited by 1,276
- 2024RULER: What's the Real Context Size of Your Long-Context Language Models?cited by 1,270
- 2025gpt-oss-120b & gpt-oss-20b Model Cardcited by 1,258
- 2021Measuring Coding Challenge Competence With APPScited by 879
- 2024DeepSeek LLM: Scaling Open-Source Language Models with Longtermismcited by 621
- 2025Kimi K2: Open Agentic Intelligencecited by 523
- 2024From Crowdsourced Data to High-Quality Benchmarks: Arena-Hard and BenchBuilder Pipelinecited by 484
- 2025Open-Reasoner-Zero: An Open Source Approach to Scaling Up Reinforcement Learning on the Base Modelcited by 450
- 2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicscited by 380
- 2024Measuring short-form factuality in large language modelscited by 345
- 2023Effective Long-Context Scaling of Foundation Modelscited by 301
- 2024Training Software Engineering Agents and Verifiers with SWE-Gymcited by 300
- 2024CRUXEval: A Benchmark for Code Reasoning, Understanding and Executioncited by 294
- 2025SWE-smith: Scaling Data for Software Engineering Agentscited by 255
- 2025SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolutioncited by 246
- 2022FP8 Formats for Deep Learningcited by 187
- 2023ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematicscited by 180
- 2025AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning datasetcited by 165
- 2024RLEF: Grounding Code LLMs in Execution Feedback with Reinforcement Learningcited by 146
- 2025R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agentscited by 140
- 2025Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Provingcited by 126
- 2024Lean Workbook: A large-scale Lean problem set formalized from natural language math problemscited by 115
- 2025OpenCodeReasoning: Advancing Data Distillation for Competitive Codingcited by 106
- 2024Language models scale reliably with over-training and on downstream taskscited by 105
- 2025Which Economic Tasks are Performed with AI? Evidence from Millions of Claude Conversationscited by 88
- 2025Don't Overthink it. Preferring Shorter Thinking Chains for Improved LLM Reasoningcited by 82
- 2025Magistralcited by 57
- 2025Optimizing Language Models for Inference Time Objectives using Reinforcement Learningcited by 49
- 2024Meta Large Language Model Compiler: Foundation Models of Compiler Optimizationcited by 39
- 2024HARP: A challenging human-annotated math reasoning benchmarkcited by 25
50 most cited of 55 All 55 (JSON)
Built on by
Citing papers per year: 2025: 14; 2026: 73.
87 papers.
Sort:
By area:
- 2025The Art of Scaling Reinforcement Learning Compute for LLMscited by 91
- 2025Live-SWE-agent: Can Software Engineering Agents Self-Evolve on the Fly?cited by 91
- 2025Agent Learning via Early Experiencecited by 79
- 2026Qwen3-Coder-Next Technical Reportcited by 60
- 2025SWE-EVO: Benchmarking Coding Agents in Long-Horizon Software Evolution Scenarioscited by 49
- 2026Expanding the Capabilities of Reinforcement Learning via Text Feedbackcited by 49
- 2026A Survey of Agentic Reasoning for Large Language Models: Towards Recursively Self-Improving and Collective Agentscited by 47
- 2026Endless Terminals: Scaling RL Environments for Terminal Agentscited by 43
- 2026Code as Agent Harnesscited by 40
- 2025Toward Training Superintelligent Software Agents through Self-Play SWE-RLcited by 37
- 2026AIRS-Bench: a Suite of Tasks for Frontier AI Research Science Agentscited by 32
- 2026SWE-Lego: Pushing the Limits of Supervised Fine-tuning for Software Issue Resolvingcited by 30
38 more
- 2026Qwen-AgentWorld: Language World Models for General Agentscited by 22
- 2026SWE-World: Building Software Engineering Agents in Docker-Free Environmentscited by 21
- 2026Visual Generation Unlocks Human-Like Reasoning through Multimodal World Modelscited by 18
- 2026SWE-Master: Unleashing the Potential of Software Engineering Agents via Post-Trainingcited by 18
- 2026SWE-Universe: Scale Real-World Verifiable Environments to Millionscited by 16
- 2026Scaling the Horizon, Not the Parameters: Reaching Trillion-Parameter Performance with a 35B Agentcited by 16
- 2026Current Agents Fail to Leverage World Model as Tool for Foresightcited by 15
- 2025From Code Foundation Models to Agents and Applications: A Comprehensive Survey and Practical Guide to Code Intelligencecited by 13
- 2026Generative Visual Code Mobile World Modelscited by 13
- 2026SWE-Replay: Efficient Test-Time Scaling for Software Engineering Agentscited by 11
- 2026Can We Predict Before Executing Machine Learning Agents?cited by 10
- 2026SERA: Soft-Verified Efficient Repository Agentscited by 10
- 2026Agentic World Modeling: Foundations, Capabilities, Laws, and Beyondcited by 10
- 2026Code World Model: Coding Agent as World Braincited by 9
- 2025Youtu-LLM: Unlocking the Native Agentic Potential for Lightweight Large Language Modelscited by 8
- 2026Agentic Environment Engineering for Large Language Models: A Survey of Environment Modeling, Synthesis, Evaluation, and Applicationcited by 8
- 2026AI Research Preference Modelscited by 7
- 2025SAGE: Training Smart Any-Horizon Agents for Long Video Reasoning with Reinforcement Learningcited by 6
- 2025A Unified Definition of Hallucination: It's The World Model, Stupid!cited by 6
- 2025Agentic Software Issue Resolution with Large Language Models: A Surveycited by 6
- 2025LLMs Lean on Priors, Not Programming Language Semanticscited by 5
- 2026Aligning Agentic World Models via Knowledgeable Experience Learningcited by 5
- 2026Self-Improving World Modelling with Latent Actionscited by 5
- 2026Learning State-Tracking from Code Using Linear RNNscited by 5
- 2026Self-Improvement of Large Language Models: A Technical Overview and Future Outlookcited by 5
- 2026From SWE-ZERO to SWE-HERO: Execution-free to Execution-based Fine-tuning for Software Engineering Agentscited by 5
- 2026PatchWorld: Gradient-Free Optimization of Executable World Models for Agent Environmentscited by 5
- 2026Aletheia: What Makes RLVR For Code Verifiers Tick?cited by 4
- 2026Debugging code world modelscited by 4
- 2026InCoder-32B-Thinking: Industrial Code World Model for Thinkingcited by 4
- 2026ZAYA1-8B Technical Reportcited by 4
- 2025Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settingscited by 3
- 2025KernelEvolve: Scaling Agentic Kernel Coding for Heterogeneous AI Accelerators at Metacited by 3
- 2026SWE-Prot'eg'e: Learning to Selectively Collaborate With an Expert Unlocks Small Language Models as Software Engineering Agentscited by 3
- 2026A Deep Dive into Scaling RL for Code Generation with Synthetic Data and Curriculacited by 3
- 2026OpenWorldLib: A Unified Codebase and Definition of Advanced World Modelscited by 3
- 2026Beyond RAG for Cyber Threat Intelligence: A Systematic Evaluation of Graph-Based and Agentic Retrievalcited by 3
- 2026Agentic Discovery of Neural Architectures: AIRA-Compose and AIRA-Designcited by 3
50 most cited of 87 All 87 (JSON)
- 2026Evaluating Exact Output and Checkpoint-State Prediction in Real Programs8 Oct 2026
- 2026AutoGUIWorld: Image Generators as Visual World Models for GUI Agent1 Oct 2026
- 2026LatentSift: Policy-State Filtering for Token-Efficient Verification of Software Engineering Agents28 Sep 2026
- 2026Agent-Editing World Model: Rethinking World Modeling for LLM Agents23 Sep 2026
- 2026Continual Enterprise World Model Discovery in Dynamic Systems17 Sep 2026
- 2026World Model-Guided Reinforcement Learning via Counterfactual User Engagement Simulation1 Sep 2026
- 2026Towards a Belief-Based World Model for LLM Agents31 Aug 2026
- 2026Code World Model: Coding Agent as World Brain26 Aug 2026
- 2026AI Research Preference Models14 Aug 2026
- 2026Quo Vadis, World Modeling?3 Aug 2026
- 2026MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis29 Jul 2026
- 2026Scaling GUI Agents with Visual State Transitions27 Jul 2026
38 more
- 2026Enhancing SLMs for Sustainable Code Optimization in Radio-Astronomy23 Jul 2026
- 2026World-Time Compute with Verified Code World Models7 Jul 2026
- 2026Latent Programming Horizons in Coding Agents6 Jul 2026
- 2026Don't Let Gains FADE: Breaking Down Policy Gradient Weights in RL1 Jul 2026
- 2026Scaling the Horizon, Not the Parameters: Reaching Trillion-Parameter Performance with a 35B Agent29 Jun 2026
- 2026Towards Evaluation of Implicit Software World Models in Coding LLMs25 Jun 2026
- 2026Generating Special Triangulations with Transformers25 Jun 2026
- 2026Qwen-AgentWorld: Language World Models for General Agents23 Jun 2026
- 2026Fine-Tuning Large Language Models for Quantum Reasoning20 Jun 2026
- 2026When the Next Step Is Not One Step: Distribution-Aware Execution Modeling for Concurrent Go Programs16 Jun 2026
- 2026Agentic Environment Engineering for Large Language Models: A Survey of Environment Modeling, Synthesis, Evaluation, and Application10 Jun 2026
- 2026WMLLM: Self-Evolving Optimization Agents via Predict-Then-Act World Modeling2 Jun 2026
- 2026CodeCytos: AI-assisted spatial molecular imaging analysis via code-augmented agent action space30 May 2026
- 2026PatchWorld: Gradient-Free Optimization of Executable World Models for Agent Environments29 May 2026
- 2026Code as Agent Harness18 May 2026
- 2026Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning18 May 2026
- 2026Trust No Tool: Evaluating and Defending LLM Agents under Untrusted Tool Feedback17 May 2026
- 2026Agentic Discovery of Neural Architectures: AIRA-Compose and AIRA-Design15 May 2026
- 2026Do Enterprise Systems Need Learned World Models? The Importance of Context to Infer Dynamics12 May 2026
- 2026Teaching LLMs Program Semantics via Symbolic Execution Traces7 May 2026
- 2026ZAYA1-8B Technical Report6 May 2026
- 2026Synthetic Computers at Scale for Long-Horizon Productivity Simulation30 Apr 2026
- 2026Agentic World Modeling: Foundations, Capabilities, Laws, and Beyond24 Apr 2026
- 2026From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification24 Apr 2026
- 2026Learning Reasoning World Models for Parallel Code22 Apr 2026
- 2026Post-training is (Massive) Supervised Learning20 Apr 2026
- 2026Beyond RAG for Cyber Threat Intelligence: A Systematic Evaluation of Graph-Based and Agentic Retrieval13 Apr 2026
- 2026Beyond the Autoregressive Horizon: A Comprehensive Survey of Diffusion Models, World Modelling, and State Space Models for Code9 Apr 2026
- 2026OpenWorldLib: A Unified Codebase and Definition of Advanced World Models6 Apr 2026
- 2026InCoder-32B-Thinking: Industrial Code World Model for Thinking3 Apr 2026
- 2026From SWE-ZERO to SWE-HERO: Execution-free to Execution-based Fine-tuning for Software Engineering Agents2 Apr 2026
- 2026Self-Improvement of Large Language Models: A Technical Overview and Future Outlook26 Mar 2026
- 2026A Deep Dive into Scaling RL for Code Generation with Synthetic Data and Curricula25 Mar 2026
- 2026SemRep: Generative Code Representation Learning with Code Transformations13 Mar 2026
- 2026Self-Execution Simulation Improves Coding Models11 Mar 2026
- 2026SWE-Fuse: Empowering Software Agents via Issue-free Trajectory Learning and Entropy-aware RLVR Training9 Mar 2026
- 2026Qwen3-Coder-Next Technical Report28 Feb 2026
- 2026Theory of Code Space: Do Code Agents Understand Software Architecture?28 Feb 2026
50 newest of 87 All 87 (JSON)
- 2025Live-SWE-agent: Can Software Engineering Agents Self-Evolve on the Fly?cited by 91
- 2026Qwen3-Coder-Next Technical Reportcited by 60
- 2025SWE-EVO: Benchmarking Coding Agents in Long-Horizon Software Evolution Scenarioscited by 49
- 2026Code as Agent Harnesscited by 40
- 2025Toward Training Superintelligent Software Agents through Self-Play SWE-RLcited by 37
- 2026AIRS-Bench: a Suite of Tasks for Frontier AI Research Science Agentscited by 32
- 2026SWE-World: Building Software Engineering Agents in Docker-Free Environmentscited by 21
- 2026SWE-Master: Unleashing the Potential of Software Engineering Agents via Post-Trainingcited by 18
- 2026Scaling the Horizon, Not the Parameters: Reaching Trillion-Parameter Performance with a 35B Agentcited by 16
- 2025From Code Foundation Models to Agents and Applications: A Comprehensive Survey and Practical Guide to Code Intelligencecited by 13
- 2026Can We Predict Before Executing Machine Learning Agents?cited by 10
- 2026SERA: Soft-Verified Efficient Repository Agentscited by 10
12 most cited of 27 All 27 (JSON)
- 2026AI Research Preference Models14 Aug 2026
- 2026MindForge: Teaching Small Language Models Whole-Life-Cycle Software Engineering via Source-Free Program Synthesis29 Jul 2026
- 2026Scaling GUI Agents with Visual State Transitions27 Jul 2026
- 2026Latent Programming Horizons in Coding Agents6 Jul 2026
- 2026Scaling the Horizon, Not the Parameters: Reaching Trillion-Parameter Performance with a 35B Agent29 Jun 2026
- 2026Agentic Environment Engineering for Large Language Models: A Survey of Environment Modeling, Synthesis, Evaluation, and Application10 Jun 2026
- 2026Code as Agent Harness18 May 2026
- 2026Trust No Tool: Evaluating and Defending LLM Agents under Untrusted Tool Feedback17 May 2026
- 2026Agentic Discovery of Neural Architectures: AIRA-Compose and AIRA-Design15 May 2026
- 2026Beyond RAG for Cyber Threat Intelligence: A Systematic Evaluation of Graph-Based and Agentic Retrieval13 Apr 2026
- 2026From SWE-ZERO to SWE-HERO: Execution-free to Execution-based Fine-tuning for Software Engineering Agents2 Apr 2026
- 2026SWE-Fuse: Empowering Software Agents via Issue-free Trajectory Learning and Entropy-aware RLVR Training9 Mar 2026
12 newest of 27 All 27 (JSON)
- 2026Qwen-AgentWorld: Language World Models for General Agentscited by 22
- 2026Visual Generation Unlocks Human-Like Reasoning through Multimodal World Modelscited by 18
- 2026Current Agents Fail to Leverage World Model as Tool for Foresightcited by 15
- 2026Generative Visual Code Mobile World Modelscited by 13
- 2026Agentic World Modeling: Foundations, Capabilities, Laws, and Beyondcited by 10
- 2026Code World Model: Coding Agent as World Braincited by 9
- 2025A Unified Definition of Hallucination: It's The World Model, Stupid!cited by 6
- 2026Aligning Agentic World Models via Knowledgeable Experience Learningcited by 5
- 2026Self-Improving World Modelling with Latent Actionscited by 5
- 2026PatchWorld: Gradient-Free Optimization of Executable World Models for Agent Environmentscited by 5
- 2026Debugging code world modelscited by 4
- 2026OpenWorldLib: A Unified Codebase and Definition of Advanced World Modelscited by 3
12 most cited of 24 All 24 (JSON)
- 2026AutoGUIWorld: Image Generators as Visual World Models for GUI Agent1 Oct 2026
- 2026Agent-Editing World Model: Rethinking World Modeling for LLM Agents23 Sep 2026
- 2026Continual Enterprise World Model Discovery in Dynamic Systems17 Sep 2026
- 2026World Model-Guided Reinforcement Learning via Counterfactual User Engagement Simulation1 Sep 2026
- 2026Towards a Belief-Based World Model for LLM Agents31 Aug 2026
- 2026Code World Model: Coding Agent as World Brain26 Aug 2026
- 2026Quo Vadis, World Modeling?3 Aug 2026
- 2026World-Time Compute with Verified Code World Models7 Jul 2026
- 2026Towards Evaluation of Implicit Software World Models in Coding LLMs25 Jun 2026
- 2026Qwen-AgentWorld: Language World Models for General Agents23 Jun 2026
- 2026WMLLM: Self-Evolving Optimization Agents via Predict-Then-Act World Modeling2 Jun 2026
- 2026PatchWorld: Gradient-Free Optimization of Executable World Models for Agent Environments29 May 2026
12 newest of 24 All 24 (JSON)
- 2026A Survey of Agentic Reasoning for Large Language Models: Towards Recursively Self-Improving and Collective Agentscited by 47
- 2026SWE-Replay: Efficient Test-Time Scaling for Software Engineering Agentscited by 11
- 2025LLMs Lean on Priors, Not Programming Language Semanticscited by 5
- 2026InCoder-32B-Thinking: Industrial Code World Model for Thinkingcited by 4
- 2026ZAYA1-8B Technical Reportcited by 4
- 2025Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settingscited by 3
- 2025Iterative GRPO: Batch-Online Multi-Turn RL via Single-Turn RLHFcited by 2
- 2026LLMs versus the Halting Problem: Characterizing Program Termination Reasoningcited by 2
- 2026Enhancing Table Reasoning with Deterministic Table-State Rewardscited by 2
- 2026Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learningcited by 1
- 2026Learning Reasoning World Models for Parallel Codecited by 0
- 2026Fine-Tuning Large Language Models for Quantum Reasoningcited by 0
12 most cited of 14 All 14 (JSON)
- 2026LatentSift: Policy-State Filtering for Token-Efficient Verification of Software Engineering Agents28 Sep 2026
- 2026Don't Let Gains FADE: Breaking Down Policy Gradient Weights in RL1 Jul 2026
- 2026Fine-Tuning Large Language Models for Quantum Reasoning20 Jun 2026
- 2026Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning18 May 2026
- 2026ZAYA1-8B Technical Report6 May 2026
- 2026Learning Reasoning World Models for Parallel Code22 Apr 2026
- 2026InCoder-32B-Thinking: Industrial Code World Model for Thinking3 Apr 2026
- 2026Enhancing Table Reasoning with Deterministic Table-State Rewards30 Jan 2026
- 2026SWE-Replay: Efficient Test-Time Scaling for Software Engineering Agents29 Jan 2026
- 2026LLMs versus the Halting Problem: Characterizing Program Termination Reasoning26 Jan 2026
- 2026A Survey of Agentic Reasoning for Large Language Models: Towards Recursively Self-Improving and Collective Agents18 Jan 2026
- 2025Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings16 Dec 2025
12 newest of 14 All 14 (JSON)
- 2025The Art of Scaling Reinforcement Learning Compute for LLMscited by 91
- 2025Agent Learning via Early Experiencecited by 79
- 2026Expanding the Capabilities of Reinforcement Learning via Text Feedbackcited by 49
- 2026SWE-Lego: Pushing the Limits of Supervised Fine-tuning for Software Issue Resolvingcited by 30
- 2026SWE-Universe: Scale Real-World Verifiable Environments to Millionscited by 16
- 2025SAGE: Training Smart Any-Horizon Agents for Long Video Reasoning with Reinforcement Learningcited by 6
- 2026Learning State-Tracking from Code Using Linear RNNscited by 5
- 2026Aletheia: What Makes RLVR For Code Verifiers Tick?cited by 4
- 2026Self-Execution Simulation Improves Coding Modelscited by 2
- 2026Synthetic Computers at Scale for Long-Horizon Productivity Simulationcited by 1
- 2026SemRep: Generative Code Representation Learning with Code Transformationscited by 0
- 2026From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verificationcited by 0
12 most cited of 19 All 19 (JSON)
- 2026Evaluating Exact Output and Checkpoint-State Prediction in Real Programs8 Oct 2026
- 2026Enhancing SLMs for Sustainable Code Optimization in Radio-Astronomy23 Jul 2026
- 2026Generating Special Triangulations with Transformers25 Jun 2026
- 2026When the Next Step Is Not One Step: Distribution-Aware Execution Modeling for Concurrent Go Programs16 Jun 2026
- 2026CodeCytos: AI-assisted spatial molecular imaging analysis via code-augmented agent action space30 May 2026
- 2026Teaching LLMs Program Semantics via Symbolic Execution Traces7 May 2026
- 2026Synthetic Computers at Scale for Long-Horizon Productivity Simulation30 Apr 2026
- 2026From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification24 Apr 2026
- 2026Post-training is (Massive) Supervised Learning20 Apr 2026
- 2026SemRep: Generative Code Representation Learning with Code Transformations13 Mar 2026
- 2026Self-Execution Simulation Improves Coding Models11 Mar 2026
- 2026Learning State-Tracking from Code Using Linear RNNs16 Feb 2026
12 newest of 19 All 19 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2024Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Search
- 2026CodeEval: A pedagogical approach for targeted evaluation of code-trained Large Language Models
- 2024WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment
- 2026Evaluating LLMs Code Reasoning Under Real-World Context
- 2026Distilling Game Code World Model Generation into Lightweight Large Language Models
- 2026FormulaCode: Evaluating Agentic Optimization on Large Codebases
- 2024Granite Code Models: A Family of Open Foundation Models for Code Intelligence
- 2025Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency