An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications.
Mohannad AlhanahnahMd Rashedul HasanHamid BagheriPublished in: CoRR (2024)
Keyphrases
- language model
- pre trained
- formal specification
- object oriented design
- language modeling
- training data
- training examples
- model checking
- n gram
- probabilistic model
- information retrieval
- document retrieval
- retrieval model
- speech recognition
- formal methods
- test collection
- language modelling
- reverse engineering
- query expansion
- software components
- statistical language models
- protocol specification
- language models for information retrieval
- knowledge representation
- high level
- control signals
- supervised learning
- neural network
- active learning
- support vector
- learning algorithm