Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
59
6
89
Brando Miranda
brando
Follow
muhtasham's profile picture
ArshakParsa's profile picture
yelldog's profile picture
8 followers
·
30 following
https://brando90.github.io/brandomiranda/
BrandoHablando
brando90
brando-miranda-40821046
AI & ML interests
soccer, music, dance, reading
Recent Activity
upvoted
a
paper
7 days ago
AlphaApollo: Orchestrating Foundation Models and Professional Tools into a Self-Evolving System for Deep Agentic Reasoning
upvoted
a
paper
3 months ago
Putnam-AXIOM: A Functional and Static Benchmark
commented
on
a paper
3 months ago
Putnam-AXIOM: A Functional and Static Benchmark
View all activity
Organizations
brando
's datasets
12
Sort: Recently updated
brando/minif2f-lean4
Viewer
•
Updated
May 6
•
488
•
19
brando/proofnet-v3-lean4
Viewer
•
Updated
May 6
•
365
•
14
brando/putnam-axiom-dataset-text-only
Viewer
•
Updated
Nov 6, 2024
•
554
•
8
•
1
brando/olympiad-bench-imo-math-boxed-825-v2-21-08-2024
Viewer
•
Updated
Nov 6, 2024
•
1.65k
•
60
•
2
brando/small-open-web-math-dataset-v2
Viewer
•
Updated
Nov 1, 2024
•
10k
•
110
•
1
brando/small-open-web-math-dataset
Viewer
•
Updated
Nov 1, 2024
•
10k
•
83
•
1
brando/putnam_bench_informal
Viewer
•
Updated
Oct 31, 2024
•
645
•
8
•
1
brando/random-all-ascii-dataset
Viewer
•
Updated
Oct 29, 2024
•
15k
•
17
•
1
brando/small-c4-dataset
Viewer
•
Updated
Oct 29, 2024
•
30k
•
383
•
5
brando/Coq-Gym-Data-Set
Viewer
•
Updated
Aug 11, 2024
•
2.2M
•
14
•
4
brando/debug1_af
Viewer
•
Updated
Oct 20, 2023
•
562
•
11
•
1
brando/debug0_af
Viewer
•
Updated
Aug 10, 2023
•
27
•
18