Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Brando Miranda's picture
59 6 89

Brando Miranda

brando
roseking's profile picture Mr-aio's profile picture GbrlOl's profile picture
·
https://brando90.github.io/brandomiranda/
  • BrandoHablando
  • brando90
  • brando-miranda-40821046

AI & ML interests

soccer, music, dance, reading

Organizations

Stanford AI's profile picture University of Illinois at Urbana-Champaign's profile picture Stanford CRFM's profile picture Data Centric Machine Learning for Math's profile picture MAFmaticians's profile picture byndscl's profile picture The Ultimate Data Centric Alliance's profile picture The AI Alliance for Solving Mathematics for All (AI4M)'s profile picture Putnam-AXIOM & Variations's profile picture ZIP-FIT - Compression-Based Data Selection For Code's profile picture Self-Optimizing Synthetic Data for Verified Code's profile picture

brando 's datasets 12

brando/minif2f-lean4

Viewer • Updated May 6, 2025 • 488 • 145

brando/proofnet-v3-lean4

Viewer • Updated May 6, 2025 • 365 • 7

brando/putnam-axiom-dataset-text-only

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

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

Viewer • Updated Nov 6, 2024 • 1.65k • 91 • 5

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

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

brando/small-open-web-math-dataset

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

brando/putnam_bench_informal

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

brando/random-all-ascii-dataset

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

brando/small-c4-dataset

Viewer • Updated Oct 29, 2024 • 30k • 537 • 7

brando/Coq-Gym-Data-Set

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

brando/debug1_af

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

brando/debug0_af

Viewer • Updated Aug 10, 2023 • 27 • 7
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs