Copertina

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gao, Jun, Peng, Yun, Ren, Xiaoxue
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Code-Induced Reasoning in LLMs
di: Waheed, Abdul, et al.
Pubblicazione: (2025)

CodeMind: Evaluating Large Language Models for Code Reasoning
di: Liu, Changshu, et al.
Pubblicazione: (2024)

Understanding How CodeLLMs (Mis)Predict Types with Activation Steering
di: Lucchetti, Francesca, et al.
Pubblicazione: (2024)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
di: Lin, Honglin, et al.
Pubblicazione: (2025)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
di: Nezhad, Sina Bagheri, et al.
Pubblicazione: (2025)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
di: Qin, Zhanyue, et al.
Pubblicazione: (2026)

ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization
di: Bae, Suyoung, et al.
Pubblicazione: (2026)

Adjoint Natural Deduction (Extended Version)
di: Jang, Junyoung, et al.
Pubblicazione: (2024)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
di: Jing, Huihao, et al.
Pubblicazione: (2026)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
di: Tang, Hao, et al.
Pubblicazione: (2024)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
di: Peng, Yun, et al.
Pubblicazione: (2024)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
di: Sultan, Oren, et al.
Pubblicazione: (2026)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
di: Haak, Lars B. van den, et al.
Pubblicazione: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
di: Schröer, Philipp, et al.
Pubblicazione: (2026)

AutoCode: LLMs as Problem Setters for Competitive Programming
di: Zhou, Shang, et al.
Pubblicazione: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
di: Batz, Kevin, et al.
Pubblicazione: (2025)

Constrained Code Generation with Discrete Diffusion
di: Shao, Lize, et al.
Pubblicazione: (2026)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
di: Elad, Neta, et al.
Pubblicazione: (2023)

A Deductive System for Contract Satisfaction Proofs
di: Correnson, Arthur, et al.
Pubblicazione: (2026)

HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization
di: Peng, Qiwei, et al.
Pubblicazione: (2024)

Hear Your Code Fail, Voice-Assisted Debugging for Python
di: Amiri, Sayed Mahbub Hasan, et al.
Pubblicazione: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
di: Näumann, Julius, et al.
Pubblicazione: (2026)

Emotion-o1: Adaptive Long Reasoning for Emotion Understanding in LLMs
di: Song, Changhao, et al.
Pubblicazione: (2025)

LLM4Decompile: Decompiling Binary Code with Large Language Models
di: Tan, Hanzhuo, et al.
Pubblicazione: (2024)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
di: Heris, Mostapha Kalami
Pubblicazione: (2025)

Toward Honest Language Models for Deductive Reasoning
di: Liu, Jiarui, et al.
Pubblicazione: (2025)

SWE-QA: Can Language Models Answer Repository-level Code Questions?
di: Peng, Weihan, et al.
Pubblicazione: (2025)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
di: Xiao, Youwei, et al.
Pubblicazione: (2025)

NExT: Teaching Large Language Models to Reason about Code Execution
di: Ni, Ansong, et al.
Pubblicazione: (2024)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
di: Huang, Siming, et al.
Pubblicazione: (2024)

The Bidirectional Process Reward Model
di: Zhang, Lingyin, et al.
Pubblicazione: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
di: Wei, Anjiang, et al.
Pubblicazione: (2025)

Assessing Code Understanding in LLMs
di: Laneve, Cosimo, et al.
Pubblicazione: (2025)

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
di: Han, Vernon Toh Yan, et al.
Pubblicazione: (2023)

$\texttt{LM}^\texttt{2}$: A Simple Society of Language Models Solves Complex Reasoning
di: Juneja, Gurusha, et al.
Pubblicazione: (2024)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
di: Young, David, et al.
Pubblicazione: (2024)

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
di: Rupprecht, Sophia, et al.
Pubblicazione: (2025)

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
di: Barone, Antonio Valerio Miceli, et al.
Pubblicazione: (2026)

ReARTeR: Retrieval-Augmented Reasoning with Trustworthy Process Rewarding
di: Sun, Zhongxiang, et al.
Pubblicazione: (2025)

Beyond Survival: Evaluating LLMs in Social Deduction Games with Human-Aligned Strategies
di: Song, Zirui, et al.
Pubblicazione: (2025)