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: 4 days 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 (8 months ago)
• Default Branch: main
• Last Pushed: 2024-05-27T18:14:11.000Z (7 months ago)
• Last Synced: 2024-12-06T15:50:13.535Z (20 days 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:

Awesome Lists containing this project