Hugging Face's logo
Brando Miranda's picture
51 4 79

Brando Miranda

brando
GbrlOl's profile picture simenyg's profile picture 21world's profile picture
·
https://brando90.github.io/brandomiranda/

AI & ML interests

soccer, music, dance, reading

Recent Activity

liked a dataset 9 days ago
SynthLabsAI/Big-Math-RL-Verified
updated a model 15 days ago
brando/tfa_output_2025_m02_d22_t15h_53m_11s
published a model 15 days ago
brando/tfa_output_2025_m02_d22_t15h_53m_11s
View all activity

Organizations

Stanford AI'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 activity

liked a dataset 9 days ago
updated a model 15 days ago
published a model 15 days ago
New activity in google/gemma-2-9b 19 days ago

RuntimeError: Index put requires the source and destination dtypes match, got BFloat16 for the destination and Float for the source.

13
#24 opened 8 months ago by
saireddy
updated a model 30 days ago
published a model 30 days ago
liked a model 30 days ago
updated a model 30 days ago
published a model 30 days ago
liked a dataset about 1 month ago
updated a dataset about 1 month ago
published a dataset about 1 month ago
updated a dataset about 1 month ago
published a dataset about 1 month ago
New activity in EleutherAI/proof-pile-2 about 1 month ago

What version of Lean, is it Lean4?
#15 opened about 1 month ago by
brando
updated 2 models about 1 month ago
published 2 models about 1 month ago
updated a model about 1 month ago