Datasetpublic

lm-provers/IMOProofBench

sourceHugging Faceupdated 11mo agoView on Hugging Face

2likes1.1kdownloads

3 commits on main

4b02dfe11mo ago

Upload dataset

JasperDekoninck

11d379111mo ago

Upload dataset

JasperDekoninck

2419d6411mo ago

initial commit

JasperDekoninck