Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
58
4
88
Brando Miranda
brando
Follow
simenyg's profile picture
21world's profile picture
yelldog's profile picture
7 followers
·
28 following
https://brando90.github.io/brandomiranda/
BrandoHablando
brando90
brando-miranda-40821046
AI & ML interests
soccer, music, dance, reading
Recent Activity
liked
a dataset
about 4 hours ago
sunblaze-ucb/verina
liked
a model
18 days ago
marin-community/marin-8b-instruct
updated
a model
23 days ago
brando/tfa_output_2025_m05_d13_t13h_01m_39s
View all activity
Organizations
Papers
5
arxiv:
2410.18194
arxiv:
2410.16429
arxiv:
2406.04391
arxiv:
2306.13840
Expand 5 papers
models
43
Sort: Recently updated
brando/tfa_output_2025_m05_d13_t13h_01m_39s
Text Generation
•
Updated
23 days ago
•
11
brando/tfa_output_2025_m05_d12_t23h_28m_45s
Text Generation
•
Updated
24 days ago
•
12
brando/tfa_output_2025_m05_d13_t13h_51m_30s
Feature Extraction
•
Updated
24 days ago
•
9
brando/tfa_output_2025_m05_d13_t15h_50m_53s
Feature Extraction
•
Updated
24 days ago
•
7
brando/tfa_output_2025_m05_d13_t15h_32m_47s
Feature Extraction
•
Updated
24 days ago
•
5
brando/tfa_output_2025_m05_d13_t13h_38m_56s
Text Generation
•
Updated
24 days ago
•
13
brando/tfa_output_2025_m05_d13_t13h_40m_09s
Text Generation
•
Updated
24 days ago
•
12
brando/tfa_output_2025_m05_d10_t23h_57m_54s
Text Generation
•
Updated
26 days ago
•
9
brando/tfa_output_2025_m05_d10_t23h_34m_59s
Text Generation
•
Updated
26 days ago
•
7
brando/tfa_output_2025_m05_d10_t23h_58m_25s
Text Generation
•
Updated
27 days ago
•
11
Expand 43 models
datasets
12
Sort: Recently updated
brando/minif2f-lean4
Viewer
•
Updated
May 6
•
488
•
56
brando/proofnet-v3-lean4
Viewer
•
Updated
May 6
•
365
•
55
brando/putnam-axiom-dataset-text-only
Viewer
•
Updated
Nov 6, 2024
•
554
•
9
•
1
brando/olympiad-bench-imo-math-boxed-825-v2-21-08-2024
Viewer
•
Updated
Nov 6, 2024
•
1.65k
•
51
•
1
brando/small-open-web-math-dataset-v2
Viewer
•
Updated
Nov 1, 2024
•
10k
•
41
•
1
brando/small-open-web-math-dataset
Viewer
•
Updated
Nov 1, 2024
•
10k
•
35
•
1
brando/putnam_bench_informal
Viewer
•
Updated
Oct 31, 2024
•
645
•
11
•
1
brando/random-all-ascii-dataset
Viewer
•
Updated
Oct 29, 2024
•
15k
•
46
•
1
brando/small-c4-dataset
Viewer
•
Updated
Oct 29, 2024
•
30k
•
114
•
3
brando/Coq-Gym-Data-Set
Viewer
•
Updated
Aug 11, 2024
•
2.2M
•
12
•
4
Expand 12 datasets