Alloy
Emerging3papers using it
2024first seen
The 'Alloy' dataset/benchmark contains examples of code written in the Alloy constraint language and is used to evaluate the capabilities of large language models in generating well-formed and correct DSL code from textual specifications.
Papers using Alloy (3)
- An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal SpecificationsA framework for assessing the capabilities of code generation of constraint domain-specific languages with large language modelsOn the Effectiveness of Large Language Models in Writing Alloy Formulas