REVIEW 5 cited by
Thinking Fast and Slow with Deep Learning and Tree Search
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Sequential decision making problems, such as structured prediction, robotic control, and game playing, require a combination of planning policies and generalisation of those plans. In this paper, we present Expert Iteration (ExIt), a novel reinforcement learning algorithm which decomposes the problem into separate planning and generalisation tasks. Planning new policies is performed by tree search, while a deep neural network generalises those plans. Subsequently, tree search is improved by using the neural network policy to guide search, increasing the strength of new plans. In contrast, standard deep Reinforcement Learning algorithms rely on a neural network not only to generalise plans, but to discover them too. We show that ExIt outperforms REINFORCE for training a neural network to play the board game Hex, and our final tree search agent, trained tabula rasa, defeats MoHex 1.0, the most recent Olympiad Champion player to be publicly released.
Forward citations
Cited by 5 Pith papers
-
Partial Label Learning for Automated Theorem Proving
Using partial label learning losses, especially Libra and meritocratic losses, improves the plCoP theorem prover's solved-problem count by roughly 14 to 28 percent over the MCTS-imitation baseline.
-
Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening
GRPO's rank bias reinforces likely answers and neglects rare correct proofs; an unlikeliness reward that down-weights likely correct samples improves pass@N in formal theorem proving.
-
Inference Scaling Reshapes AI Governance
If frontier AI progress shifts from pre-training compute to inference-time compute, AI governance must be rebuilt around deployment-time capabilities and transparency, with different implications depending on whether ...
-
AlphaZero in Sparsely Rewarded Games: Limits and Auxiliary Supervision
Vanilla AlphaZero fails to preserve oracle-optimal trajectories in Connect Four and Chomp; AZAL with oracle policy supervision substantially raises oracle consistency, reaching perfect full-game play on Chomp 10×11.
-
CogniPlay: a work-in-progress Human-like model for General Game Playing
A position paper proposing CogniPlay, a dual-process architecture for human-like general game playing, with no implementation or evaluation yet.
Discussion (0). Continue with ORCID to comment.