Puzzles designed by Rachel Papirmeister exclusively for the
Formal Methods Reasoning Group (FoRG), a constituent of
Columbia University DAPLab. Unauthorized use is prohibited.
STEP-Bench: Symbolic Temporal Exploratory Puzzle Benchmark
Puzzle A
Puzzle B
Puzzle C
Consent Form
Recalibrate
* To skip eye-tracking calibration, click
"Continue without eye tracking"
when prompted.
