A Track-and-Stop algorithm solves thresholding Monte Carlo Tree Search with asymptotically optimal sample complexity, and a ratio-based D-Tracking modification improves empirical efficiency and reduces per-round computation to logarithmic time.
CITE provides anytime-valid certification of a target answer as the unique mode under arbitrary data-dependent stopping without knowing the answer set, with optimal stopping-time rates and improved LLM self-consistency.