Fine-Tuning Language Models Using Formal Methods Feedback.
Yunhao YangNeel P. BhattTyler IngebrandWilliam WardSteven CarrZhangyang WangUfuk TopcuPublished in: CoRR (2023)
Keyphrases
- fine tuning
- language model
- formal methods
- language modeling
- probabilistic model
- n gram
- information retrieval
- retrieval model
- knowledge based systems
- document retrieval
- language modelling
- model checking
- speech recognition
- query expansion
- formal specification
- language model for information retrieval
- document ranking
- context sensitive
- artificial intelligence
- test collection
- fine tuned
- software engineering
- smoothing methods
- statistical language models
- vector space model
- ad hoc information retrieval
- query terms
- development lifecycle
- translation model
- relevance feedback
- user feedback
- language models for information retrieval
- formal specification language
- temporal logic
- data mining
- query specific
- database systems
- relevance model
- pseudo relevance feedback
- life cycle