TY  - RPRT
TI  - An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
AU  - Mohannad Alhanahnah
AU  - Md Rashedul Hasan
AU  - Lisong Xu
AU  - Hamid Bagheri
PY  - 2024
UR  - https://arxiv.org/abs/2404.11050
ID  - 2404.11050
ER  -