Buchumschlag

Evaluating Program Semantics Reasoning with Type Inference in System F

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	He, Yifeng, Yang, Luning, Gonzalo, Christopher Castro Gaw, Chen, Hao
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
von: Le-Cong, Thanh, et al.
Veröffentlicht: (2025)

CodeMind: Evaluating Large Language Models for Code Reasoning
von: Liu, Changshu, et al.
Veröffentlicht: (2024)

LLMs Lean on Priors, Not Programming Language Semantics
von: Thimmaiah, Aditya, et al.
Veröffentlicht: (2025)

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

Mix-of-Language-Experts Architecture for Multilingual Programming
von: Zong, Yifan, et al.
Veröffentlicht: (2025)

Deduplicating and Ranking Solution Programs for Suggesting Reference Solutions
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
von: Jing, Huihao, et al.
Veröffentlicht: (2026)

Semantic Source Code Segmentation using Small and Large Language Models
von: Dahou, Abdelhalim, et al.
Veröffentlicht: (2025)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
von: Lin, Teyu, et al.
Veröffentlicht: (2026)

How Programming Concepts and Neurons Are Shared in Code Language Models
von: Kargaran, Amir Hossein, et al.
Veröffentlicht: (2025)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
von: Dong, Honghua, et al.
Veröffentlicht: (2025)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
von: Chen, Rui, et al.
Veröffentlicht: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)

Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance
von: Song, Yewei, et al.
Veröffentlicht: (2024)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
von: Chen, Simin, et al.
Veröffentlicht: (2024)

Kotlin's Type System is (Also) Unsound
von: Kinsbruner, Elad, et al.
Veröffentlicht: (2024)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
von: Erata, Ferhat, et al.
Veröffentlicht: (2024)

SaraCoder: Orchestrating Semantic and Structural Cues for Resource-Optimized Repository-Level Code Completion
von: Chen, Xiaohan, et al.
Veröffentlicht: (2025)

Generating Equivalent Representations of Code By A Self-Reflection Approach
von: Li, Jia, et al.
Veröffentlicht: (2024)

AutoCode: LLMs as Problem Setters for Competitive Programming
von: Zhou, Shang, et al.
Veröffentlicht: (2025)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
von: Li, Zhuohao, et al.
Veröffentlicht: (2025)

A Taxonomy of Prompt Defects in LLM Systems
von: Tian, Haoye, et al.
Veröffentlicht: (2025)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
von: Ates, Berke, et al.
Veröffentlicht: (2026)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
von: Yu, ZeHao
Veröffentlicht: (2025)

A Multi-Perspective Architecture for Semantic Code Search
von: Haldar, Rajarshi, et al.
Veröffentlicht: (2020)

An Enumerative Embedding of the Python Type System in ACL2s
von: Xifaras, Samuel, et al.
Veröffentlicht: (2025)

Incremental Context-free Grammar Inference in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2023)

Object Graph Programming
von: Thimmaiah, Aditya, et al.
Veröffentlicht: (2024)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
von: Zhang, William, et al.
Veröffentlicht: (2024)

Refactoring Programs Using Large Language Models with Few-Shot Examples
von: Shirafuji, Atsushi, et al.
Veröffentlicht: (2023)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

NExT: Teaching Large Language Models to Reason about Code Execution
von: Ni, Ansong, et al.
Veröffentlicht: (2024)

FLAT: Formal Languages as Types
von: Zhu, Fengmin, et al.
Veröffentlicht: (2025)

Typing Requirement Model as Coroutines
von: Gu, Qiqi, et al.
Veröffentlicht: (2024)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
von: Deng, Haotian, et al.
Veröffentlicht: (2025)

Hidden in Plain Sight: Where Developers Confess Self-Admitted Technical Debt
von: Sridharan, Murali, et al.
Veröffentlicht: (2025)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
von: Zhang, Dylan, et al.
Veröffentlicht: (2025)

SWE-QA: Can Language Models Answer Repository-level Code Questions?
von: Peng, Weihan, et al.
Veröffentlicht: (2025)