Brando Miranda's picture

Brando Miranda

brando

·

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

AI & ML interests

soccer, music, dance, reading

Recent Activity

liked a dataset 29 days ago

amitayusht/clever

liked a dataset about 1 month ago

sunblaze-ucb/verina

liked a model 2 months ago

marin-community/marin-8b-instruct

View all activity

Organizations

brando 's datasets 12

brando/minif2f-lean4

Viewer • Updated May 6 • 488 • 10

brando/proofnet-v3-lean4

Viewer • Updated May 6 • 365 • 15

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 • 81 • 1

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

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

brando/small-open-web-math-dataset

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

brando/putnam_bench_informal

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

brando/random-all-ascii-dataset

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

brando/small-c4-dataset

Viewer • Updated Oct 29, 2024 • 30k • 417 • 3

brando/Coq-Gym-Data-Set

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

brando/debug1_af

Viewer • Updated Oct 20, 2023 • 562 • 34 • 1

brando/debug0_af

Viewer • Updated Aug 10, 2023 • 27 • 10