Research

Ask

Library

Catalog

Account

Overview
Jobs
Usage
Billing

Catalog
Datasets
AI-MO/minif2f_test

AI-MO

minif2f_test

Test set for miniF2F formal mathematics benchmark.

Original source

Rows: 244
On disk: 73 kB
Downloads: 216
Updated: Jul 4

Explore

Read the real rows without downloading anything

Reading rows…

LiveRead from AI-MO/minif2f_test at the moment you asked. Nothing is cached or stored — every row above came from that request.

Column statistics

How the columns are distributed

Over 244 rows of default/train

formal_statement

string_text

min: 203
median: 381
mean: 415.28
max: 1,042

informal_prefix

string_text

Splits

1

default/train

Query support

Row preview
Paginated browse
Full-text search
SQL filter
Column statistics

Provenance

Licence: apache-2.0
Likes: 9

Fields

Mathematics Benchmark Scientific Reasoning

min

46

median

140.50

mean

182.36

max

762

name

string_text

min: 11
median: 17
mean: 19.36
max: 55