arxiv:2410.18194
Brando Miranda
brando
AI & ML interests
soccer, music, dance, reading
Recent Activity
liked
a dataset
about 2 months ago
amitayusht/clever
liked
a dataset
about 2 months ago
sunblaze-ucb/verina
liked
a model
3 months ago
marin-community/marin-8b-instruct
Organizations
models
43
brando/tfa_output_2025_m05_d13_t13h_01m_39s
Text Generation
•
8B
•
Updated
•
9
brando/tfa_output_2025_m05_d12_t23h_28m_45s
Text Generation
•
8B
•
Updated
•
7
brando/tfa_output_2025_m05_d13_t13h_51m_30s
Feature Extraction
•
2B
•
Updated
•
6
brando/tfa_output_2025_m05_d13_t15h_50m_53s
Feature Extraction
•
2B
•
Updated
•
6
brando/tfa_output_2025_m05_d13_t15h_32m_47s
Feature Extraction
•
2B
•
Updated
•
6
brando/tfa_output_2025_m05_d13_t13h_38m_56s
Text Generation
•
8B
•
Updated
•
8
brando/tfa_output_2025_m05_d13_t13h_40m_09s
Text Generation
•
8B
•
Updated
•
9
brando/tfa_output_2025_m05_d10_t23h_57m_54s
Text Generation
•
8B
•
Updated
•
7
brando/tfa_output_2025_m05_d10_t23h_34m_59s
Text Generation
•
8B
•
Updated
•
7
brando/tfa_output_2025_m05_d10_t23h_58m_25s
Text Generation
•
8B
•
Updated
•
7
datasets
12
brando/minif2f-lean4
Viewer
•
Updated
•
488
•
15
brando/proofnet-v3-lean4
Viewer
•
Updated
•
365
•
9
brando/putnam-axiom-dataset-text-only
Viewer
•
Updated
•
554
•
14
•
1
brando/olympiad-bench-imo-math-boxed-825-v2-21-08-2024
Viewer
•
Updated
•
1.65k
•
54
•
1
brando/small-open-web-math-dataset-v2
Viewer
•
Updated
•
10k
•
35
•
1
brando/small-open-web-math-dataset
Viewer
•
Updated
•
10k
•
25
•
1
brando/putnam_bench_informal
Viewer
•
Updated
•
645
•
24
•
1
brando/random-all-ascii-dataset
Viewer
•
Updated
•
15k
•
28
•
1
brando/small-c4-dataset
Viewer
•
Updated
•
30k
•
159
•
3
brando/Coq-Gym-Data-Set
Viewer
•
Updated
•
2.2M
•
16
•
4