4 ms·
Well, there's math. Mapping it to AZ and finding a decent "win" function might be hard, but it's a complete information something, certainly.
by Filligree 9y ago
Well, there's math. Mapping it to AZ and finding a decent "win" function might be hard, but it's a complete information something, certainly.
- sanxiyn 9y agoQuick, 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