Login / Signup
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
Zhengyang Lu
Stefan Siemer
Piyush Jha
Joel D. Day
Florin Manea
Vijay Ganesh
Published in:
SMT@CAV (2024)
Keyphrases
</>
monte carlo tree search
monte carlo
tree search algorithm
evaluation function
bayesian reinforcement learning
optimal strategy
game tree
learning experience
statistical machine translation