Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
65
7
88
Brando Miranda
brando
Follow
21world's profile picture
yelldog's profile picture
simenyg's profile picture
9 followers
·
30 following
https://brando90.github.io/brandomiranda/
BrandoHablando
brando90
brando-miranda-40821046
AI & ML interests
soccer, music, dance, reading
Recent Activity
new
activity
10 days ago
StanfordAILean/c-py-dataset:
Upload 107 C/Python-to-Lean4 formalizations
new
activity
10 days ago
StanfordAILean/c-py-dataset:
Add dataset README
new
activity
10 days ago
StanfordAILean/c-py-dataset:
Upload 107 C/Python-to-Lean4 formalizations
View all activity
Organizations
brando
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
10 months ago
amitayusht/clever
Viewer
•
Updated
May 22, 2025
•
161
•
54
•
5
liked
a dataset
11 months ago
sunblaze-ucb/verina
Viewer
•
Updated
Jan 5
•
189
•
563
•
8
liked
a model
11 months ago
marin-community/marin-8b-instruct
Text Generation
•
8B
•
Updated
May 19, 2025
•
3.67k
•
•
27
liked
2 datasets
12 months ago
zipfit/math-select-06062025
Viewer
•
Updated
May 7, 2025
•
82.6k
•
5
•
1
Putnam-AXIOM/putnam-axiom-dataset-ICML-2025-522
Viewer
•
Updated
May 6, 2025
•
1.12k
•
69
•
3
liked
a model
12 months ago
meta-llama/Llama-3.3-70B-Instruct
Text Generation
•
71B
•
Updated
Dec 21, 2024
•
565k
•
•
2.73k
liked
5 models
about 1 year ago
deepseek-ai/DeepSeek-R1
Text Generation
•
685B
•
Updated
Mar 27, 2025
•
4.05M
•
•
13.3k
google/gemma-3-1b-it
Text Generation
•
1.0B
•
Updated
Apr 4, 2025
•
578k
•
931
google/gemma-3-4b-it
Image-Text-to-Text
•
Updated
Mar 21, 2025
•
2.01M
•
1.31k
HuggingFaceTB/SmolLM2-360M-Instruct
Text Generation
•
Updated
Sep 22, 2025
•
411k
•
185
HuggingFaceTB/SmolLM2-135M-Instruct
Text Generation
•
0.1B
•
Updated
Sep 22, 2025
•
1.04M
•
310
liked
a dataset
about 1 year ago
SynthLabsAI/Big-Math-RL-Verified
Viewer
•
Updated
Mar 25, 2025
•
251k
•
4.76k
•
226
liked
a model
about 1 year ago
meta-llama/Llama-3.2-3B
Text Generation
•
3B
•
Updated
Oct 24, 2024
•
1.05M
•
756
liked
a dataset
about 1 year ago
openai/openai_humaneval
Viewer
•
Updated
Jan 4, 2024
•
164
•
222k
•
382
liked
3 models
about 1 year ago
HuggingFaceTB/SmolLM-135M
Text Generation
•
0.1B
•
Updated
Aug 1, 2024
•
167k
•
255
Qwen/Qwen2.5-0.5B
Text Generation
•
0.5B
•
Updated
Sep 25, 2024
•
1.71M
•
394
meta-llama/Llama-3.2-1B
Text Generation
•
1B
•
Updated
Oct 24, 2024
•
1.28M
•
2.37k
liked
3 datasets
about 1 year ago
UDACA/proofnet-v3-lean4
Viewer
•
Updated
Jan 31, 2025
•
365
•
8
•
1
UDACA/proofnet-v2-lean4
Viewer
•
Updated
Jan 31, 2025
•
371
•
14
•
1
UDACA/minif2f-lean4
Viewer
•
Updated
Jan 31, 2025
•
488
•
6
•
1
Load more