Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.
Susmit JhaSumit Kumar JhaPatrick LincolnNathaniel D. BastianAlvaro VelasquezSandeep NeemaPublished in: ICAA (2023)
Keyphrases
- language model
- formal methods
- language modeling
- probabilistic model
- n gram
- document retrieval
- retrieval model
- query expansion
- formal specification
- artificial intelligence
- language modelling
- model checking
- speech recognition
- information retrieval
- test collection
- knowledge based systems
- smoothing methods
- statistical language models
- context sensitive
- language models for information retrieval
- pseudo relevance feedback
- vector space model
- translation model
- document ranking
- modeling language
- formal specification language
- relevance model
- data mining
- question answering
- expert systems