Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.
Yunhao YangNeel P. BhattTyler IngebrandWilliam WardSteven CarrAtlas WangUfuk TopcuPublished in: MLSys (2024)
Keyphrases
- language model
- fine tuning
- formal methods
- autonomous systems
- language modeling
- document retrieval
- n gram
- speech recognition
- information retrieval
- artificial intelligence
- retrieval model
- dynamic environments
- probabilistic model
- query expansion
- knowledge based systems
- test collection
- model checking
- formal specification
- language modelling
- context sensitive
- smoothing methods
- autonomous navigation
- language models for information retrieval
- statistical language models
- software engineering
- document ranking
- fine tuned
- situation awareness
- unmanned aerial vehicles
- multi agent systems
- decision making
- active learning
- relevance feedback
- decision support