Alloy
Emerging3papers using it
2024first seen
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