hf-imo-colab/olympiads-proof-schema
Viewer
•
Updated
•
2.25k
•
52
HF IMO colab
Team
community
AI & ML interests
None defined yet.
models
0
None public yet
datasets
15
hf-imo-colab/olympiads-proof-benchmark
Viewer
•
Updated
•
140
•
97
hf-imo-colab/DeepScaleR-Preview-Dataset
Viewer
•
Updated
•
40.3k
•
15
hf-imo-colab/olympiads-proof-schema-benchmark
Viewer
•
Updated
•
6
•
41
hf-imo-colab/IMOBench-ProofBench
Viewer
•
Updated
•
60
•
88
hf-imo-colab/olympiads-ref-base-exact-matching
Viewer
•
Updated
•
3.46k
•
16
hf-imo-colab/olympiads-ref-base-math-word
Viewer
•
Updated
•
3.37k
•
45
•
1
hf-imo-colab/AMO-Bench
Viewer
•
Updated
•
50
•
17
hf-imo-colab/visualization-sample
Viewer
•
Updated
•
3
•
27
hf-imo-colab/olympiads-ref-base-proof-schema
Viewer
•
Updated
•
3.82k
•
73