Buchumschlag

BALI: Branch-Aware Loop Invariant Inference with Large Language Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Mingxiu, Wang, Jiawei, Cheng, Xiao
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Automatic Inference of Relational Object Invariants
von: Su, Yusen, et al.
Veröffentlicht: (2024)

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

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

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

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
von: Li, Tianchi, et al.
Veröffentlicht: (2026)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2026)

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

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

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

ClassInvGen: Class Invariant Synthesis using Large Language Models
von: Sun, Chuyue, et al.
Veröffentlicht: (2025)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2025)

LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models
von: Zhi, Yijie, et al.
Veröffentlicht: (2025)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
von: Huang, Siming, et al.
Veröffentlicht: (2024)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
von: Wang, Yanzhao, et al.
Veröffentlicht: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
von: Rossi, Roberto, et al.
Veröffentlicht: (2026)

Probabilistic Inference for Datalog with Correlated Inputs
von: Wang, Jingbo, et al.
Veröffentlicht: (2025)

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

Large Language Model Powered Symbolic Execution
von: Li, Yihe, et al.
Veröffentlicht: (2025)

Equality Saturation Guided by Large Language Models
von: Peng, Wentao, et al.
Veröffentlicht: (2025)

Eliminate Branches by Melding IR Instructions
von: Li, Yuze, et al.
Veröffentlicht: (2025)

Effect Handlers for Programmable Inference
von: Nguyen, Minh, et al.
Veröffentlicht: (2023)

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

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

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

Leveraging Large Language Models for Generalizing Peephole Optimizations
von: Liao, Chunhao, et al.
Veröffentlicht: (2026)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
von: Yang, Chenyuan, et al.
Veröffentlicht: (2023)

LLM4Decompile: Decompiling Binary Code with Large Language Models
von: Tan, Hanzhuo, et al.
Veröffentlicht: (2024)

(Un)Solvable Loop Analysis
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2023)

Towards Repository-Level Program Verification with Large Language Models
von: Zhong, Si Cheng, et al.
Veröffentlicht: (2025)

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
von: Goharshady, Amir K., et al.
Veröffentlicht: (2026)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
von: Zhang, Hanliang, et al.
Veröffentlicht: (2024)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
von: Liu, Shicheng, et al.
Veröffentlicht: (2023)

Polynomial Invariant Generation for Floating-Point Programs
von: Cai, Xuran, et al.
Veröffentlicht: (2025)

Data-Driven Invariant Learning for Probabilistic Programs
von: Bao, Jialu, et al.
Veröffentlicht: (2021)

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

Polar: An Algebraic Analyzer for (Probabilistic) Loops
von: Moosbrugger, Marcel, et al.
Veröffentlicht: (2026)

SuperCoder: Assembly Program Superoptimization with Large Language Models
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
von: Shen, Chen, et al.
Veröffentlicht: (2026)