arxiv:2410.18194
Brando Miranda
brando
AI & ML interests
soccer, music, dance, reading
Recent Activity
liked
a dataset
about 2 hours ago
UDACA/proofnet-v3-lean4
updated
a dataset
about 2 hours ago
UDACA/proofnet-v3-lean4
published
a dataset
about 2 hours ago
UDACA/proofnet-v3-lean4
Organizations
models
14
brando/epochs-100-putnam-axiom-53-checkpoint-119
Updated
brando/epochs-100-putnam-axiom-53-checkpoint-112
Updated
brando/epochs-100-putnam-axiom-53-checkpoint-105
Updated
brando/hub__results_2023-m09-d29-t11h_23m_01s__checkpoint-7489
Text Generation
•
Updated
•
1
brando/hub-checkpoint-6000
Text Generation
•
Updated
•
1
brando/hub-checkpoint-2000
Updated
brando/fo-20230814T221958Z-001
Updated
brando/ho-20230814T221957Z-002
Updated
brando/ho-20230814T221957Z-003
Updated
brando/ho-20230814T221957Z-001
Updated
datasets
10
brando/putnam-axiom-dataset-text-only
Viewer
•
Updated
•
554
•
43
•
1
brando/olympiad-bench-imo-math-boxed-825-v2-21-08-2024
Viewer
•
Updated
•
1.65k
•
45
•
1
brando/small-open-web-math-dataset-v2
Viewer
•
Updated
•
10k
•
27
•
1
brando/small-open-web-math-dataset
Viewer
•
Updated
•
10k
•
20
•
1
brando/putnam_bench_informal
Viewer
•
Updated
•
645
•
41
•
1
brando/random-all-ascii-dataset
Viewer
•
Updated
•
15k
•
48
•
1
brando/small-c4-dataset
Viewer
•
Updated
•
30k
•
94
•
2
brando/Coq-Gym-Data-Set
Viewer
•
Updated
•
2.2M
•
38
•
2
brando/debug1_af
Viewer
•
Updated
•
562
•
49
•
1
brando/debug0_af
Viewer
•
Updated
•
27
•
39