Hugging Face's logo
Brando Miranda's picture
58 4 86

Brando Miranda

brando
yelldog's profile picture Mr-aio's profile picture 21world's profile picture
·
https://brando90.github.io/brandomiranda/

AI & ML interests

soccer, music, dance, reading

Recent Activity

updated a model 1 day ago
brando/tfa_output_2025_m05_d10_t23h_57m_54s
published a model 1 day ago
brando/tfa_output_2025_m05_d10_t23h_57m_54s
updated a model 1 day ago
brando/tfa_output_2025_m05_d10_t23h_34m_59s
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

New activity in floatai/HumanEval-XL 1 day ago

Dataset Viewer issue: DatasetWithScriptNotSupportedError
#1 opened 1 day ago by
brando
New activity in meta-llama/Llama-4-Scout-17B-16E-Instruct 14 days ago

Gated Repo Permission Still Pending for Llama-4

3
4
#71 opened 14 days ago by
brando
New activity in meta-llama/Llama-4-Maverick-17B-128E-Original 16 days ago

Still waiting for access :'(
#3 opened 16 days ago by
brando
New activity in meta-llama/Llama-4-Maverick-17B-128E-Instruct-FP8-Original 16 days ago

Still waiting for access :'(
#2 opened 16 days ago by
brando
New activity in meta-llama/Llama-4-Maverick-17B-128E-Instruct 16 days ago

Gated Repo Permission Still Pending for Llama-4
#33 opened 16 days ago by
brando
New activity in meta-llama/Llama-4-Scout-17B-16E-Instruct 17 days ago

Gated Repo Permission Still Pending for Llama-4
#69 opened 17 days ago by
brando
New activity in meta-llama/Llama-4-Scout-17B-16E 17 days ago

My access request is pending since last 14 hours. Please help.

1
4
#37 opened 17 days ago by
brando
New activity in google/gemma-2-9b 3 months ago

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

3
13
#24 opened 10 months ago by
saireddy
New activity in Putnam-AXIOM/putnam-axiom-dataset-v1 4 months ago

~10% of the problem statements may have flaws (according to Claude Sonnet 3.6 and a tiny bit of manual checking)

4
#2 opened 4 months ago by
ArthurConmy
New activity in UDACA/Code-Mixed-Dataset 6 months ago

issue getting data set

1
#1 opened 6 months ago by
brando
New activity in Putnam-AXIOM/putnam-axiom-dataset-v1 6 months ago

[bot] Conversion to Parquet
#1 opened 6 months ago by
parquet-converter
New activity in GAIR/MathPile 7 months ago

Still errors with GAIR loading dataset

2
#3 opened 8 months ago by
brando
commented 2 papers 7 months ago
New activity in GAIR/MathPile 8 months ago

Issue with TypeError in GAIR/MathPile Dataset Loading

1
5
#2 opened over 1 year ago by
BaiXue
New activity in internlm/internlm2_5-1_8b 9 months ago

recommended max length?

1
#2 opened 9 months ago by
brando
New activity in openai-community/gpt2-xl 9 months ago

training gpt2 xl from stratch?

2
#12 opened 9 months ago by
brando
New activity in brando/Coq-Gym-Data-Set 9 months ago

Add data structure to README.md
#7 opened 9 months ago by
jizej

upload lemma definitions
#6 opened 9 months ago by
jizej

Upload dataset

1
#5 opened 12 months ago by
jizej