Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, Mingxiu, Wang, Jiawei, Cheng, Xiao
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
par: Liu, Ruibang, et autres
Publié: (2024)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
par: Kumar, Ashish, et autres
Publié: (2024)

Automatic Inference of Relational Object Invariants
par: Su, Yusen, et autres
Publié: (2024)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
par: Liu, Chang, et autres
Publié: (2023)

Ranking LLM-Generated Loop Invariants for Program Verification
par: Chakraborty, Saikat, et autres
Publié: (2023)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
par: Haase, Darion, et autres
Publié: (2026)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
par: Li, Tianchi, et autres
Publié: (2026)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
par: Li, Feifei, et autres
Publié: (2026)

Algebraic Tools for Computing Polynomial Loop Invariants
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2024)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
par: Wang, Sally Junsong, et autres
Publié: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2024)

ClassInvGen: Class Invariant Synthesis using Large Language Models
par: Sun, Chuyue, et autres
Publié: (2025)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2025)

LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models
par: Zhi, Yijie, et autres
Publié: (2025)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
par: Huang, Siming, et autres
Publié: (2024)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
par: Wang, Yanzhao, et autres
Publié: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
par: Rossi, Roberto, et autres
Publié: (2026)

Probabilistic Inference for Datalog with Correlated Inputs
par: Wang, Jingbo, et autres
Publié: (2025)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
par: King, Daragh, et autres
Publié: (2025)

Large Language Model Powered Symbolic Execution
par: Li, Yihe, et autres
Publié: (2025)

Equality Saturation Guided by Large Language Models
par: Peng, Wentao, et autres
Publié: (2025)

Eliminate Branches by Melding IR Instructions
par: Li, Yuze, et autres
Publié: (2025)

Effect Handlers for Programmable Inference
par: Nguyen, Minh, et autres
Publié: (2023)

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
par: Bharti, Varun, et autres
Publié: (2025)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
par: Zhu, Kai, et autres
Publié: (2024)

Incremental Context-free Grammar Inference in Black Box Settings
par: Li, Feifei, et autres
Publié: (2024)

Leveraging Large Language Models for Generalizing Peephole Optimizations
par: Liao, Chunhao, et autres
Publié: (2026)

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models
par: Yang, Chenyuan, et autres
Publié: (2023)

LLM4Decompile: Decompiling Binary Code with Large Language Models
par: Tan, Hanzhuo, et autres
Publié: (2024)

(Un)Solvable Loop Analysis
par: Amrollahi, Daneshvar, et autres
Publié: (2023)

Towards Repository-Level Program Verification with Large Language Models
par: Zhong, Si Cheng, et autres
Publié: (2025)

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
par: Goharshady, Amir K., et autres
Publié: (2026)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
par: Zhang, Hanliang, et autres
Publié: (2024)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
par: Liu, Shicheng, et autres
Publié: (2023)

Polynomial Invariant Generation for Floating-Point Programs
par: Cai, Xuran, et autres
Publié: (2025)

Data-Driven Invariant Learning for Probabilistic Programs
par: Bao, Jialu, et autres
Publié: (2021)

A Denotational Semantics for Quantum Loops
par: Assolini, Nicola, et autres
Publié: (2025)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
par: Moosbrugger, Marcel, et autres
Publié: (2026)

SuperCoder: Assembly Program Superoptimization with Large Language Models
par: Wei, Anjiang, et autres
Publié: (2025)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
par: Shen, Chen, et autres
Publié: (2026)