Edit Datasets filters

Datasets

9

Full-text search

Active filters: formalization

Takenoko12345678/OpenAI-Math-Lean-Agreed-38

Viewer • Updated 9 days ago • 38 • 61 • 2

ruc-ai4math/mathlib_handler_benchmark_410

Preview • Updated Mar 7, 2025 • 339 • 1

Vilin97/Clawristotle-Logs

Viewer • Updated Jun 11 • 378 • 46

rafaelcabral96/ProofFlowBench

Viewer • Updated Jun 5 • 184 • 27

humanfia-lab/IPHO2026

Viewer • Updated Jul 27 • 233 • 147

humanfia-lab/ipho2026-formalized-results

Updated Aug 4 • 76

LorthGyu/indonesian-formalization

Viewer • Updated Aug 5 • 99 • 16

humanfia-lab/icho-2026

Viewer • Updated Sep 1 • 224 • 143

gianniiii/planetarium-floor-tile-corrected

Viewer • Updated 1 day ago • 6.17k • 29