Imagen de Portada

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hooda, Ashish, Christodorescu, Mihai, Allamanis, Miltiadis, Wilson, Aaron, Fawaz, Kassem, Jha, Somesh
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Artificial Intelligence Machine Learning Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Auto-SPT: Automating Semantic Preserving Transformations for Code
por: Hooda, Ashish, et al.
Publicado: (2025)

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

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
por: Zhou, Tianyang, et al.
Publicado: (2025)

Verifier-Guided Code Translation via Meta-Step Decoding
por: Zhou, Tianyang, et al.
Publicado: (2026)

Disproving Program Equivalence with LLMs
por: Allamanis, Miltiadis, et al.
Publicado: (2025)

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness
por: Allamanis, Miltiadis, et al.
Publicado: (2024)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
por: Wu, Guanxuan, et al.
Publicado: (2024)

How Programming Concepts and Neurons Are Shared in Code Language Models
por: Kargaran, Amir Hossein, et al.
Publicado: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
por: Ren, Xiaoning, et al.
Publicado: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
por: Xie, Xiaoheng, et al.
Publicado: (2024)

Assessing Code Understanding in LLMs
por: Laneve, Cosimo, et al.
Publicado: (2025)

Neural Code Translation of Legacy Code: APL to C#
por: Ramadan, Abdulrahman, et al.
Publicado: (2026)

A Trace-based Approach for Code Safety Analysis
por: Xu, Hui
Publicado: (2025)

On the Anatomy of Real-World R Code for Static Analysis
por: Sihler, Florian, et al.
Publicado: (2024)

Automated Code Repair for C/C++ Static Analysis Alerts
por: Svoboda, David, et al.
Publicado: (2025)

Concept-Based Generic Programming in C++
por: Stroustrup, Bjarne
Publicado: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
por: Liu, Yuchen, et al.
Publicado: (2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
por: Zhang, Hanliang, et al.
Publicado: (2024)

Micro-Patterns in Solidity Code
por: Ruschioni, Luca, et al.
Publicado: (2025)

Pareto Optimal Code Generation
por: Orlanski, Gabriel, et al.
Publicado: (2025)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
por: Dau, Anh T. V., et al.
Publicado: (2026)

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

Language Models for Code Completion: A Practical Evaluation
por: Izadi, Maliheh, et al.
Publicado: (2024)

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming
por: Lang, Nguyet-Anh H., et al.
Publicado: (2026)

From Effectiveness to Efficiency: Uncovering Linguistic Bias in Large Language Model-based Code Generation
por: Jiang, Weipeng, et al.
Publicado: (2024)

Semantic Source Code Segmentation using Small and Large Language Models
por: Dahou, Abdelhalim, et al.
Publicado: (2025)

LLM-Guided Compositional Program Synthesis
por: Khan, Ruhma, et al.
Publicado: (2025)

Automated Code Editing with Search-Generate-Modify
por: Liu, Changshu, et al.
Publicado: (2023)

Validated Code Translation for Projects with External Libraries
por: Zhang, Hanliang, et al.
Publicado: (2026)

CodeIF-Bench: Evaluating Instruction-Following Capabilities of Large Language Models in Interactive Code Generation
por: Wang, Peiding, et al.
Publicado: (2025)

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

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

Analysis of AdvFusion: Adapter-based Multilingual Learning for Code Large Language Models
por: Esmaeili, Amirreza, et al.
Publicado: (2025)

Structural Code Search using Natural Language Queries
por: Limpanukorn, Ben, et al.
Publicado: (2025)

Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)

Creating a Trajectory for Code Writing: Algorithmic Reasoning Tasks
por: Ravikumar, Shruthi, et al.
Publicado: (2024)

A Unified Framework for Automated Code Transformation and Pragma Insertion
por: Pouget, Stéphane, et al.
Publicado: (2024)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
por: Ke, Kaiyao, et al.
Publicado: (2025)

Compilation of Commit Changes within Java Source Code Repositories
por: Schott, Stefan, et al.
Publicado: (2024)

From Code to Career: Assessing Competitive Programmers for Industry Placement
por: Akib, Md Imranur Rahman, et al.
Publicado: (2025)