Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.
Sumit Kumar JhaSusmit JhaPatrick LincolnNathaniel D. BastianAlvaro VelasquezRickard EwetzSandeep NeemaPublished in: MILCOM (2023)
Keyphrases
- language model
- language modeling
- probabilistic model
- n gram
- document retrieval
- functional programs
- speech recognition
- statistical language models
- language modelling
- information retrieval
- context sensitive
- retrieval model
- query expansion
- language models for information retrieval
- smoothing methods
- test collection
- ad hoc information retrieval
- machine learning
- model checking
- query terms
- vector space model
- relevance model
- okapi bm
- language model for information retrieval
- word error rate
- pseudo relevance feedback
- satisfiability problem
- document ranking
- translation model
- decision trees
- feature selection