Home Models Pricing Docs Blog Community Login Sign up

hoskinson-center/
minif2f-lean4

Data Branches Evaluations Fine-tune

Copyright © 2026 Oxen Labs, Inc., All Rights Reserved

Careers Trust Center Privacy Policy Terms and Conditions

minif2f-lean4

public

About

No description

2 commits

1 contributor

0 downloads

224 kB

0 stars

Project contents

tabular 50.0%

text 50.0%

174 B

Adding repo hoskinson-center/minif2f-lean4 data

text

2 yrs ago

dataset_metadata.md

20 B

Adding repo hoskinson-center/minif2f-lean4 data

text

2 yrs ago

minif2f-lean4_test.parquet

116.9 kB

Adding repo hoskinson-center/minif2f-lean4 data

tabular

2 yrs ago

minif2f-lean4_validation.parquet

106.9 kB

Adding repo hoskinson-center/minif2f-lean4 data

tabular

2 yrs ago

Last commit cannot be located

224 kB

22

Contributors

Ox Data Bot 🤖