Brando Miranda

brando's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a dataset 6 days ago

zipfit/math-select-06062025

Viewer • Updated 6 days ago • 82.6k • 44 • 1

liked a dataset 7 days ago

Putnam-AXIOM/putnam-axiom-dataset-ICML-2025-522

Viewer • Updated 7 days ago • 1.12k • 194 • 2

liked 2 models 20 days ago

meta-llama/Llama-3.3-70B-Instruct

Text Generation • Updated Dec 21, 2024 • 962k • • 2.31k

deepseek-ai/DeepSeek-R1

Text Generation • Updated Mar 27 • 1.18M • • 12.1k

liked 2 models about 2 months ago

google/gemma-3-1b-it

Text Generation • Updated Apr 4 • 2.85M • 384

google/gemma-3-4b-it

Image-Text-to-Text • Updated Mar 21 • 590k • 516

liked 2 models 2 months ago

HuggingFaceTB/SmolLM2-360M-Instruct

Text Generation • Updated 21 days ago • 714k • 117

HuggingFaceTB/SmolLM2-135M-Instruct

Text Generation • Updated 21 days ago • 344k • 192

liked a dataset 2 months ago

SynthLabsAI/Big-Math-RL-Verified

Viewer • Updated Mar 25 • 251k • 5.69k • 175

liked a model 3 months ago

meta-llama/Llama-3.2-3B

Text Generation • Updated Oct 24, 2024 • 532k • 564

liked a dataset 3 months ago

openai/openai_humaneval

Viewer • Updated Jan 4, 2024 • 164 • 68.5k • 315

liked 3 models 3 months ago

HuggingFaceTB/SmolLM-135M

Text Generation • Updated Aug 1, 2024 • 178k • 203

Qwen/Qwen2.5-0.5B

Text Generation • Updated Sep 25, 2024 • 1.65M • 267

meta-llama/Llama-3.2-1B

Text Generation • Updated Oct 24, 2024 • 2.01M • 1.89k

liked 3 datasets 3 months ago

UDACA/proofnet-v3-lean4

Viewer • Updated Jan 31 • 365 • 56 • 1

UDACA/proofnet-v2-lean4

Viewer • Updated Jan 31 • 371 • 34 • 1

UDACA/minif2f-lean4

Viewer • Updated Jan 31 • 488 • 39 • 1

liked a model 3 months ago

UDACA/math-gemma-2-2b-zipfit

Updated Jan 30 • 1 • 1

liked a dataset 3 months ago

AI4M/less-proofnet-lean4-top1M

Viewer • Updated Jan 29 • 1.12k • 39 • 1

liked a dataset 4 months ago

UDACA/proofnet-lean4

Viewer • Updated Jan 27 • 371 • 32 • 1