3 ms·
Quick, someone apply AlphaZero algorithm to this MCTS prover for math: https://arxiv.org/abs/1611.05990 https://arxiv.org/abs/1611.05990 I actually prefer "exp
by sanxiyn 9y ago
Quick, someone apply AlphaZero algorithm to this MCTS prover for math: https://arxiv.org/abs/1611.05990 https://arxiv.org/abs/1611.05990
I actually prefer "expert iteration" and "tree-policy target" term instead of "AlphaZero algorithm", because they emphasize what is novel about it among the entire system. Terms are from https://arxiv.org/abs/1705.08439 https://arxiv.org/abs/1705.08439