On the Effectiveness of Large Language Models in Writing Alloy Formulas

Open in new window