We are excited to announce the publication of our new paper, dataset, and accompanying code: On Writing Alloy Models: Metrics and a New Dataset presented at ABZ 2025
In this work, we introduce FMPals, a new dataset of Alloy models authored on our Formal Methods Playground.
