Guiding Enumerative Program Synthesis with Large Language Models.
Yixuan LiJulian ParsertElizabeth PolgreenPublished in: CAV (2) (2024)
Keyphrases
- program synthesis
- language model
- language modeling
- n gram
- information retrieval
- document retrieval
- probabilistic model
- speech recognition
- query expansion
- language modelling
- retrieval model
- ad hoc information retrieval
- context sensitive
- test collection
- statistical language models
- inductive logic programming
- language model for information retrieval
- smoothing methods
- pseudo relevance feedback
- relevance model
- low level