Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search.
David BrandfonbrenerSibi RajaTarun PrasadChloe LoughridgeJianang YangSimon HennigerWilliam E. ByrdRobert ZinkovNada AminPublished in: CoRR (2024)
Keyphrases
- language model
- multi step
- monte carlo tree search
- monte carlo
- language modeling
- probabilistic model
- evaluation function
- n gram
- information retrieval
- retrieval model
- document retrieval
- query expansion
- language modelling
- k nearest neighbor
- knn
- game tree
- test collection
- semi supervised
- machine learning
- statistical language models
- temporal difference
- relevance model
- markov chain
- nearest neighbor
- retrieval effectiveness
- learning algorithm
- temporal difference learning