arxiv:2410.18194
Brando Miranda
brando
AI & ML interests
soccer, music, dance, reading
Recent Activity
updated
a dataset
1 day ago
zipfit/leandojo_benchmark_4_random_splits
published
a dataset
1 day ago
zipfit/leandojo_benchmark_4_random_splits
updated
a dataset
1 day ago
zipfit/leandojo_benchmark_4_corpus
Organizations
models
21
brando/tfa_output_2025_m02_d02_t23h_29m_10s
Text Generation
•
Updated
brando/tfa_output_2025_m02_d02_t23h_28m_54s
Text Generation
•
Updated
brando/tfa_output_2025_m02_d02_t23h_24m_01s
Text Generation
•
Updated
brando/tfa_output_2025_m02_d02_t23h_23m_05s
Text Generation
•
Updated
brando/tfa_output_2025_m02_d02_t23h_18m_49s
Updated
brando/tfa_output_2025_m02_d02_t23h_03m_36s
Updated
brando/tfa_output_2025_m02_d02_t22h_40m_50s
Updated
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
datasets
10
brando/putnam-axiom-dataset-text-only
Viewer
•
Updated
•
554
•
40
•
1
brando/olympiad-bench-imo-math-boxed-825-v2-21-08-2024
Viewer
•
Updated
•
1.65k
•
50
•
1
brando/small-open-web-math-dataset-v2
Viewer
•
Updated
•
10k
•
31
•
1
brando/small-open-web-math-dataset
Viewer
•
Updated
•
10k
•
25
•
1
brando/putnam_bench_informal
Viewer
•
Updated
•
645
•
38
•
1
brando/random-all-ascii-dataset
Viewer
•
Updated
•
15k
•
46
•
1
brando/small-c4-dataset
Viewer
•
Updated
•
30k
•
84
•
2
brando/Coq-Gym-Data-Set
Viewer
•
Updated
•
2.2M
•
36
•
2
brando/debug1_af
Viewer
•
Updated
•
562
•
46
•
1
brando/debug0_af
Viewer
•
Updated
•
27
•
37