Automated Repair of AI Code with Large Language Models and Formal Verification.
Yiannis CharalambousEdoardo ManinoLucas C. CordeiroPublished in: CoRR (2024)
Keyphrases
- language model
- formal verification
- language modeling
- program slicing
- model checking
- document retrieval
- context sensitive
- n gram
- artificial intelligence
- model checker
- query expansion
- retrieval model
- bounded model checking
- probabilistic model
- information retrieval
- speech recognition
- test collection
- symbolic model checking
- statistical language models
- automated verification
- ad hoc information retrieval
- machine learning
- relevance model
- language modelling
- language model for information retrieval
- language models for information retrieval
- okapi bm
- vector space model
- source code
- knowledge based systems
- smoothing methods
- pseudo relevance feedback
- knowledge representation
- knn
- query processing
- translation model
- temporal logic