:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Tianchi, Yan, Zhenyu, Liu, Junhao, Di, Peng, Zhang, Xin
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2605.17914
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
von: Liu, Chang, et al.
Veröffentlicht: (2023)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
von: King, Daragh, et al.
Veröffentlicht: (2025)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
von: Haase, Darion, et al.
Veröffentlicht: (2026)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
von: Kumar, Ashish, et al.
Veröffentlicht: (2024)

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
von: Wang, Mingxiu, et al.
Veröffentlicht: (2025)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
von: Bharti, Varun, et al.
Veröffentlicht: (2025)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
von: Xu, Zhenyu, et al.
Veröffentlicht: (2024)

LLM-Guided Compositional Program Synthesis
von: Khan, Ruhma, et al.
Veröffentlicht: (2025)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
von: Chang, Fu-Chieh, et al.
Veröffentlicht: (2026)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
von: Liu, Ruibang, et al.
Veröffentlicht: (2024)

Algebraic Tools for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Focus-LIME: Surgical Interpretation of Long-Context Large Language Models via Proxy-Based Neighborhood Selection
von: Liu, Junhao, et al.
Veröffentlicht: (2026)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
von: Zhang, Yifan, et al.
Veröffentlicht: (2025)

WASD: Locating Critical Neurons as Sufficient Conditions for Explaining and Controlling LLM Behavior
von: Yu, Haonan, et al.
Veröffentlicht: (2026)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

A Denotational Semantics for Quantum Loops
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
von: Su, Yuheng, et al.
Veröffentlicht: (2026)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
von: Schröer, Philipp, et al.
Veröffentlicht: (2025)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
von: Barke, Shraddha, et al.
Veröffentlicht: (2024)

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
von: Khan, M Zafir Sadik, et al.
Veröffentlicht: (2025)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
von: Peng, Yun, et al.
Veröffentlicht: (2024)

Agentic Auto-Scheduling: An Experimental Study of LLM-Guided Loop Optimization
von: Merouani, Massinissa, et al.
Veröffentlicht: (2025)

LLM-Guided Strategy Synthesis for Scalable Equality Saturation
von: Yin, Chenyun, et al.
Veröffentlicht: (2026)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
von: Zhu, Kai, et al.
Veröffentlicht: (2024)

Improving LLM Classification of Logical Errors by Integrating Error Relationship into Prompts
von: Lee, Yanggyu, et al.
Veröffentlicht: (2024)

Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
von: Wen, Hongbo, et al.
Veröffentlicht: (2026)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
von: Aguirre, Alejandro, et al.
Veröffentlicht: (2024)

AutoChip: Automating HDL Generation Using LLM Feedback
von: Thakur, Shailja, et al.
Veröffentlicht: (2023)

AERO: Autonomous Evolutionary Reasoning Optimization via Endogenous Dual-Loop Feedback
von: Gao, Zhitao, et al.
Veröffentlicht: (2026)

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
von: Zhu, Yifan, et al.
Veröffentlicht: (2026)

Enhancing the Code Reasoning Capabilities of LLMs via Consistency-based Reinforcement Learning
von: Qin, Zhanyue, et al.
Veröffentlicht: (2026)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

LLM-Based Repair of Static Nullability Errors
von: Karimipour, Nima, et al.
Veröffentlicht: (2025)

Shorthand for Thought: Compressing LLM Reasoning via Entropy-Guided Supertokens
von: Zhao, Zhenyu, et al.
Veröffentlicht: (2026)

Composable Effect Handling for Programming LLM-integrated Scripts
von: Wang, Di
Veröffentlicht: (2025)

Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
von: Blocklove, Jason, et al.
Veröffentlicht: (2024)

Trace-Guided Synthesis of Effectful Test Generators
von: Zhou, Zhe, et al.
Veröffentlicht: (2026)