Progressive-Widening Monte Carlo Tree Search — Glossary — ThinkLLM