https://github.com/mohannadcse/alloyspecrepair
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
https://github.com/mohannadcse/alloyspecrepair
alloy alloy-analyzer declarative-language gpt llm pre-trained-language-models repair
Last synced: 6 months ago
JSON representation
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
- Host: GitHub
- URL: https://github.com/mohannadcse/alloyspecrepair
- Owner: Mohannadcse
- License: mit
- Created: 2024-04-17T01:57:43.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-03-21T16:54:48.000Z (7 months ago)
- Last Synced: 2025-03-21T17:41:54.229Z (7 months ago)
- Topics: alloy, alloy-analyzer, declarative-language, gpt, llm, pre-trained-language-models, repair
- Language: Alloy
- Homepage:
- Size: 12.9 MB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 1
-
Metadata Files: