TY  - RPRT
TI  - Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
AU  - Hongshu Wang
AU  - Xinyue Zuo
AU  - Yuhan Sun
AU  - Qin Li
AU  - Yamine Ait Ameur
AU  - Jin Song Dong
PY  - 2026
DO  - 10.1145/3808218
UR  - https://arxiv.org/abs/2605.17475
ID  - 2605.17475
ER  -