Pith. sign in

REVIEW 2 cited by

PUZZLES: A Benchmark for Neural Algorithmic Reasoning

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

arxiv 2407.00401 v1 pith:PMON42BU submitted 2024-06-29 cs.LG cs.AI

classification cs.LGcs.AI
keywords puzzlesalgorithmicreasoningbenchmarkdiverseabilityadditionaladjustable
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Algorithmic reasoning is a fundamental cognitive ability that plays a pivotal role in problem-solving and decision-making processes. Reinforcement Learning (RL) has demonstrated remarkable proficiency in tasks such as motor control, handling perceptual input, and managing stochastic environments. These advancements have been enabled in part by the availability of benchmarks. In this work we introduce PUZZLES, a benchmark based on Simon Tatham's Portable Puzzle Collection, aimed at fostering progress in algorithmic and logical reasoning in RL. PUZZLES contains 40 diverse logic puzzles of adjustable sizes and varying levels of complexity; many puzzles also feature a diverse set of additional configuration parameters. The 40 puzzles provide detailed information on the strengths and generalization capabilities of RL agents. Furthermore, we evaluate various RL algorithms on PUZZLES, providing baseline comparisons and demonstrating the potential for future research. All the software, including the environment, is available at https://github.com/ETH-DISCO/rlp.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Beyond Interpolation: Extrapolative Reasoning with Reinforcement Learning and Graph Neural Networks

    cs.LG 2025-02 conditional novelty 5.0 of 10

    Graph-based RL agents can solve logic puzzles larger than anything seen in training, with graph structure, reward design, and recurrence each changing how far extrapolation goes.

  2. The Jumping Reasoning Curve? Tracking the Evolution of Reasoning Performance in GPT-[n] and o-[n] Models on Multimodal Puzzles

    cs.CV 2025-02 conditional novelty 4.0 of 10

    Later OpenAI o-series models substantially outperform GPT-series models on multimodal puzzles, but fine-grained visual perception and algorithmic puzzles remain hard.

Pith tools