On Code-Induced Reasoning in LLMs
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Waheed, Abdul, Wu, Zhen, Rosé, Carolyn, Ippolito, Daphne |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
par: Gao, Jun, et autres
Publié: (2025)
par: Gao, Jun, et autres
Publié: (2025)
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
par: Lin, Honglin, et autres
Publié: (2025)
par: Lin, Honglin, et autres
Publié: (2025)
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)
Chasing Random: Instruction Selection Strategies Fail to Generalize
par: Diddee, Harshita, et autres
Publié: (2024)
par: Diddee, Harshita, et autres
Publié: (2024)
Measuring Reasoning Trace Legibility: Can Those Who Understand Teach?
par: Roytburg, Dani, et autres
Publié: (2026)
par: Roytburg, Dani, et autres
Publié: (2026)
Customizing Large Language Model Generation Style using Parameter-Efficient Finetuning
par: Liu, Xinyue, et autres
Publié: (2024)
par: Liu, Xinyue, et autres
Publié: (2024)
PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
par: Jing, Huihao, et autres
Publié: (2026)
par: Jing, Huihao, et autres
Publié: (2026)
LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
par: Sultan, Oren, et autres
Publié: (2026)
par: Sultan, Oren, et autres
Publié: (2026)
Understanding How CodeLLMs (Mis)Predict Types with Activation Steering
par: Lucchetti, Francesca, et autres
Publié: (2024)
par: Lucchetti, Francesca, et autres
Publié: (2024)
CodeMind: Evaluating Large Language Models for Code Reasoning
par: Liu, Changshu, et autres
Publié: (2024)
par: Liu, Changshu, et autres
Publié: (2024)
Effective Prompt Extraction from Language Models
par: Zhang, Yiming, et autres
Publié: (2023)
par: Zhang, Yiming, et autres
Publié: (2023)
AutoCode: LLMs as Problem Setters for Competitive Programming
par: Zhou, Shang, et autres
Publié: (2025)
par: Zhou, Shang, et autres
Publié: (2025)
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
par: Tang, Hao, et autres
Publié: (2024)
par: Tang, Hao, et autres
Publié: (2024)
Constrained Code Generation with Discrete Diffusion
par: Shao, Lize, et autres
Publié: (2026)
par: Shao, Lize, et autres
Publié: (2026)
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)
par: Wei, Anjiang, et autres
Publié: (2025)
Hear Your Code Fail, Voice-Assisted Debugging for Python
par: Amiri, Sayed Mahbub Hasan, et autres
Publié: (2025)
par: Amiri, Sayed Mahbub Hasan, et autres
Publié: (2025)
Beyond BLEU: A Semantic Evaluation Method for Code Translation
par: Näumann, Julius, et autres
Publié: (2026)
par: Näumann, Julius, et autres
Publié: (2026)
LLM4Decompile: Decompiling Binary Code with Large Language Models
par: Tan, Hanzhuo, et autres
Publié: (2024)
par: Tan, Hanzhuo, et autres
Publié: (2024)
Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
par: Heris, Mostapha Kalami
Publié: (2025)
par: Heris, Mostapha Kalami
Publié: (2025)
NExT: Teaching Large Language Models to Reason about Code Execution
par: Ni, Ansong, et autres
Publié: (2024)
par: Ni, Ansong, et autres
Publié: (2024)
OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
par: Huang, Siming, et autres
Publié: (2024)
par: Huang, Siming, et autres
Publié: (2024)
No Single Best Model for Diversity: Learning a Router for Sample Diversity
par: Liu, Yuhan, et autres
Publié: (2026)
par: Liu, Yuhan, et autres
Publié: (2026)
VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
par: Han, Vernon Toh Yan, et autres
Publié: (2023)
par: Han, Vernon Toh Yan, et autres
Publié: (2023)
CIE: Controlling Language Model Text Generations Using Continuous Signals
par: Samuel, Vinay, et autres
Publié: (2025)
par: Samuel, Vinay, et autres
Publié: (2025)
Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
par: Rupprecht, Sophia, et autres
Publié: (2025)
par: Rupprecht, Sophia, et autres
Publié: (2025)
Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
par: Barone, Antonio Valerio Miceli, et autres
Publié: (2026)
par: Barone, Antonio Valerio Miceli, et autres
Publié: (2026)
VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
par: Wang, Yaoxiang, et autres
Publié: (2026)
par: Wang, Yaoxiang, et autres
Publié: (2026)
Structured Prompt Language: Declarative Context Management for LLMs
par: Gong, Wen G.
Publié: (2026)
par: Gong, Wen G.
Publié: (2026)
L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
par: Sun, Simeng, et autres
Publié: (2025)
par: Sun, Simeng, et autres
Publié: (2025)
Self-Infilling Code Generation
par: Zheng, Lin, et autres
Publié: (2023)
par: Zheng, Lin, et autres
Publié: (2023)
Verified Code Transpilation with LLMs
par: Bhatia, Sahil, et autres
Publié: (2024)
par: Bhatia, Sahil, et autres
Publié: (2024)
Lita: Light Agent Uncovers the Agentic Coding Capabilities of LLMs
par: Dai, Hankun, et autres
Publié: (2025)
par: Dai, Hankun, et autres
Publié: (2025)
CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules
par: Le, Hung, et autres
Publié: (2023)
par: Le, Hung, et autres
Publié: (2023)
Less is More Tokens: Efficient Math Reasoning via Difficulty-Aware Chain-of-Thought Distillation
par: Waheed, Abdul, et autres
Publié: (2025)
par: Waheed, Abdul, et autres
Publié: (2025)
VideoJudge: Bootstrapping Enables Scalable Supervision of MLLM-as-a-Judge for Video Understanding
par: Waheed, Abdul, et autres
Publié: (2025)
par: Waheed, Abdul, et autres
Publié: (2025)
A Multi-Perspective Architecture for Semantic Code Search
par: Haldar, Rajarshi, et autres
Publié: (2020)
par: Haldar, Rajarshi, et autres
Publié: (2020)
LaMini-LM: A Diverse Herd of Distilled Models from Large-Scale Instructions
par: Wu, Minghao, et autres
Publié: (2023)
par: Wu, Minghao, et autres
Publié: (2023)
REAMS: Reasoning Enhanced Algorithm for Maths Solving
par: Singh, Eishkaran, et autres
Publié: (2025)
par: Singh, Eishkaran, et autres
Publié: (2025)
How Programming Concepts and Neurons Are Shared in Code Language Models
par: Kargaran, Amir Hossein, et autres
Publié: (2025)
par: Kargaran, Amir Hossein, et autres
Publié: (2025)
Generating Equivalent Representations of Code By A Self-Reflection Approach
par: Li, Jia, et autres
Publié: (2024)
par: Li, Jia, et autres
Publié: (2024)
Documents similaires
-
\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
par: Gao, Jun, et autres
Publié: (2025) -
Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
par: Lin, Honglin, et autres
Publié: (2025) -
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
par: Nezhad, Sina Bagheri, et autres
Publié: (2025) -
Chasing Random: Instruction Selection Strategies Fail to Generalize
par: Diddee, Harshita, et autres
Publié: (2024) -
Measuring Reasoning Trace Legibility: Can Those Who Understand Teach?
par: Roytburg, Dani, et autres
Publié: (2026)