/AlloySpecRepair

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

Primary LanguageAlloyMIT LicenseMIT

Watchers