Copertina

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cao, Weining, Wu, Guangyuan, Yao, Yuan, Wei, Hengfeng, Chen, Taolue, Ma, Xiaoxing
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Task Abstention for Large Language Models in Code Generation
di: Zhou, Yanke, et al.
Pubblicazione: (2026)

Uncertainty Quantification for LLM-based Code Generation
di: Xu, Senrong, et al.
Pubblicazione: (2026)

Less is More: Towards Green Code Large Language Models via Unified Structural Pruning
di: Yang, Guang, et al.
Pubblicazione: (2024)

Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models
di: Yang, Guang, et al.
Pubblicazione: (2023)

SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems
di: Yang, Huiwen, et al.
Pubblicazione: (2024)

SPADE: Synthesizing Data Quality Assertions for Large Language Model Pipelines
di: Shankar, Shreya, et al.
Pubblicazione: (2024)

Can Large Language Models Model Programs Formally?
di: Chen, Zhiyong, et al.
Pubblicazione: (2026)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
di: Wei, Hengfeng, et al.
Pubblicazione: (2025)

Predicting Lemmas in Generalization of IC3
di: Su, Yuheng, et al.
Pubblicazione: (2024)

Testing Database Systems with Large Language Model Synthesized Fragments
di: Zhong, Suyang, et al.
Pubblicazione: (2025)

The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model
di: Zhao, Zelin, et al.
Pubblicazione: (2023)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
di: Cai, Luwei, et al.
Pubblicazione: (2024)

Anchor Attention, Small Cache: Code Generation with Large Language Models
di: Zhang, Xiangyu, et al.
Pubblicazione: (2024)

Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss
di: Yang, Guang, et al.
Pubblicazione: (2024)

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
di: Di, Nongyu, et al.
Pubblicazione: (2026)

LLM-SrcLog: Towards Proactive and Unified Log Template Extraction via Large Language Models
di: Sun, Jiaqi, et al.
Pubblicazione: (2025)

AllHands: Ask Me Anything on Large-scale Verbatim Feedback via Large Language Models
di: Zhang, Chaoyun, et al.
Pubblicazione: (2024)

Large Language Models for Validating Network Protocol Parsers
di: Zheng, Mingwei, et al.
Pubblicazione: (2025)

On the Challenges of Fuzzing Techniques via Large Language Models
di: Huang, Linghan, et al.
Pubblicazione: (2024)

Towards Understanding Bugs in Distributed Training and Inference Frameworks for Large Language Models
di: Yu, Xiao, et al.
Pubblicazione: (2025)

Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
di: Liu, Ruibang, et al.
Pubblicazione: (2024)

PromCopilot: Simplifying Prometheus Metric Querying in Cloud Native Online Service Systems via Large Language Models
di: Zhang, Chenxi, et al.
Pubblicazione: (2025)

Large Language Model Unlearning for Source Code
di: Jiang, Xue, et al.
Pubblicazione: (2025)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
di: Eshghie, Mojtaba, et al.
Pubblicazione: (2025)

Can Large Language Models Serve as Evaluators for Code Summarization?
di: Wu, Yang, et al.
Pubblicazione: (2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
di: Ma, Lezhi, et al.
Pubblicazione: (2024)

MCeT: Behavioral Model Correctness Evaluation using Large Language Models
di: Ahmed, Khaled, et al.
Pubblicazione: (2025)

Large Language Models for Equivalent Mutant Detection: How Far Are We?
di: Tian, Zhao, et al.
Pubblicazione: (2024)

Efficient Code Analysis via Graph-Guided Large Language Models
di: Gao, Hang, et al.
Pubblicazione: (2026)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
di: Shiraishi, Momoko, et al.
Pubblicazione: (2024)

Lifting the Veil on Composition, Risks, and Mitigations of the Large Language Model Supply Chain
di: Huang, Kaifeng, et al.
Pubblicazione: (2024)

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
di: Ma, Lezhi, et al.
Pubblicazione: (2024)

DCE-LLM: Dead Code Elimination with Large Language Models
di: Chen, Minyu, et al.
Pubblicazione: (2025)

A Learning Method for Symbolic Systems Using Large Language Models
di: Fang, Jian, et al.
Pubblicazione: (2026)

Enhancing Semantic Understanding in Pointer Analysis using Large Language Models
di: Cheng, Baijun, et al.
Pubblicazione: (2025)

SAFE: Advancing Large Language Models in Leveraging Semantic and Syntactic Relationships for Software Vulnerability Detection
di: Nguyen, Van, et al.
Pubblicazione: (2024)

Large Language Models for Fault Localization: An Empirical Study
di: Xiao, YingJian, et al.
Pubblicazione: (2025)

Studying and Benchmarking Large Language Models For Log Level Suggestion
di: Heng, Yi Wen, et al.
Pubblicazione: (2024)

V-GameGym: Visual Game Generation for Code Large Language Models
di: Zhang, Wei, et al.
Pubblicazione: (2025)

Revisiting Evolutionary Program Repair via Code Language Model
di: Wang, Yunan, et al.
Pubblicazione: (2024)