Brando Miranda's picture

Brando Miranda

brando

·

https://brando90.github.io/brandomiranda/

AI & ML interests

soccer, music, dance, reading

Organizations

Papers 5

arxiv:2410.18194

arxiv:2410.16429

arxiv:2406.04391

arxiv:2306.13840

models 43

brando/tfa_output_2025_m05_d13_t13h_01m_39s

Text Generation • 8B • Updated May 14 • 1

brando/tfa_output_2025_m05_d12_t23h_28m_45s

Text Generation • 8B • Updated May 14

brando/tfa_output_2025_m05_d13_t13h_51m_30s

Feature Extraction • 2B • Updated May 13 • 6

brando/tfa_output_2025_m05_d13_t15h_50m_53s

Feature Extraction • 2B • Updated May 13 • 6

brando/tfa_output_2025_m05_d13_t15h_32m_47s

Feature Extraction • 2B • Updated May 13 • 6

brando/tfa_output_2025_m05_d13_t13h_38m_56s

Text Generation • 8B • Updated May 13

brando/tfa_output_2025_m05_d13_t13h_40m_09s

Text Generation • 8B • Updated May 13 • 1

brando/tfa_output_2025_m05_d10_t23h_57m_54s

Text Generation • 8B • Updated May 12 • 1

brando/tfa_output_2025_m05_d10_t23h_34m_59s

Text Generation • 8B • Updated May 11

brando/tfa_output_2025_m05_d10_t23h_58m_25s

Text Generation • 8B • Updated May 11

datasets 12

brando/minif2f-lean4

Viewer • Updated May 6 • 488 • 18

brando/proofnet-v3-lean4

Viewer • Updated May 6 • 365 • 8

brando/putnam-axiom-dataset-text-only

Viewer • Updated Nov 6, 2024 • 554 • 4 • 1

brando/olympiad-bench-imo-math-boxed-825-v2-21-08-2024

Viewer • Updated Nov 6, 2024 • 1.65k • 24 • 1

brando/small-open-web-math-dataset-v2

Viewer • Updated Nov 1, 2024 • 10k • 36 • 1

brando/small-open-web-math-dataset

Viewer • Updated Nov 1, 2024 • 10k • 10 • 1

brando/putnam_bench_informal

Viewer • Updated Oct 31, 2024 • 645 • 5 • 1

brando/random-all-ascii-dataset

Viewer • Updated Oct 29, 2024 • 15k • 12 • 1

brando/small-c4-dataset

Viewer • Updated Oct 29, 2024 • 30k • 324 • 5

brando/Coq-Gym-Data-Set

Viewer • Updated Aug 11, 2024 • 2.2M • 6 • 4

View 12 datasets