Cover Image

Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Hongshu, Zuo, Xinyue, Sun, Yuhan, Li, Qin, Ameur, Yamine Ait, Dong, Jin Song
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PAT-Agent: Autoformalization for Model Checking
by: Zuo, Xinyue, et al.
Published: (2025)

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
by: Zhang, Yedi, et al.
Published: (2024)

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
by: Bouzenia, Islem, et al.
Published: (2024)

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
by: Pei, Yunrui, et al.
Published: (2025)

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
by: Hui, Mingxuan, et al.
Published: (2026)

Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects
by: Ait, Adem, et al.
Published: (2025)

AgentFL: Scaling LLM-based Fault Localization to Project-Level Context
by: Qin, Yihao, et al.
Published: (2024)

ContractSkill: Repairable Contract-Based Skills for Multimodal Web Agents
by: Lu, Zijian, et al.
Published: (2026)

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
by: Lu, Xu, et al.
Published: (2025)

SelfHeal: Empirical Fix Pattern Analysis and Bug Repair in LLM Agents
by: Islam, Niful, et al.
Published: (2026)

Agent That Debugs: Dynamic State-Guided Vulnerability Repair
by: Liu, Zhengyao, et al.
Published: (2025)

Boosting Automatic Java-to-Cangjie Translation with Multi-Stage LLM Training and Error Repair
by: Liang, Xinyue, et al.
Published: (2026)

Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement
by: Luo, Wenqiang, et al.
Published: (2025)

Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents
by: Jin, Ruoqi
Published: (2026)

GraphCodeAgent: Dual Graph-Guided LLM Agent for Retrieval-Augmented Repo-Level Code Generation
by: Li, Jia, et al.
Published: (2025)

HAFixAgent: History-Aware Program Repair Agent
by: Shi, Yu, et al.
Published: (2025)

Towards Verifiably Safe Tool Use for LLM Agents
by: Doshi, Aarya, et al.
Published: (2026)

SGAgent: Suggestion-Guided LLM-Based Multi-Agent Framework for Repository-Level Software Repair
by: Zhang, Quanjun, et al.
Published: (2026)

OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization Agents
by: Xu, Yujia, et al.
Published: (2026)

VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
by: Wang, Ziliang, et al.
Published: (2025)

EvoRepair: Enhancing Vulnerability Repair Agents Through Experience-Based Self-Evolution
by: Hu, Haichuan, et al.
Published: (2026)

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
by: Mu, Fangwen, et al.
Published: (2025)

AgentSZZ: Teaching the LLM Agent to Play Detective with Bug-Inducing Commits
by: Lyu, Yunbo, et al.
Published: (2026)

Evaluating Agent-based Program Repair at Google
by: Rondon, Pat, et al.
Published: (2025)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
by: Ma, Lezhi, et al.
Published: (2026)

AgentRaft: Automated Detection of Data Over-Exposure in LLM Agents
by: Lin, Yixi, et al.
Published: (2026)

Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
by: Ait, Adem, et al.
Published: (2024)

LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents
by: Zhang, Ke, et al.
Published: (2025)

Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
by: Liu, Xiang, et al.
Published: (2026)

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement
by: Kobayashi, Tsutomu, et al.
Published: (2024)

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
by: Ding, Haoran, et al.
Published: (2026)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
by: Alhanahnah, Mohannad, et al.
Published: (2024)

SkillReducer: Optimizing LLM Agent Skills for Token Efficiency
by: Gao, Yudong, et al.
Published: (2026)

Wired for Reuse: Automating Context-Aware Code Adaptation in IDEs via LLM-Based Agent
by: Wang, Taiming, et al.
Published: (2025)

EigenData: A Self-Evolving Multi-Agent Platform for Function-Calling Data Synthesis, Auditing, and Repair
by: Chen, Jiaao, et al.
Published: (2026)

AgentFM: Role-Aware Failure Management for Distributed Databases with LLM-Driven Multi-Agents
by: Zhang, Lingzhe, et al.
Published: (2025)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
by: Huang, Zhechong, et al.
Published: (2026)

SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair
by: Gajjar, Jugal, et al.
Published: (2025)

Input Reduction Enhanced LLM-based Program Repair
by: Yang, Boyang, et al.
Published: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
by: Tagliaferro, Alberto, et al.
Published: (2026)