Hugging Face's logo
Brando Miranda's picture
45 5 58

Brando Miranda

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

AI & ML interests

soccer, music, dance, reading

Recent Activity

liked a model 1 day ago
google/gemma-2-2b
liked a model 1 day ago
google/gemma-2b
liked a model 2 days ago
openai-community/gpt2

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

brando's activity

New activity in UDACA/Code-Mixed-Dataset 4 days ago

issue getting data set

1
#1 opened 4 days ago by brando
New activity in Putnam-AXIOM/putnam-axiom-dataset 21 days ago

[bot] Conversion to Parquet
#1 opened 22 days ago by parquet-converter
New activity in TIGER-Lab/WebInstructSub 21 days ago

does this data have PoT also? I can't find examples

1
#3 opened 21 days ago by brando
New activity in GAIR/MathPile 27 days ago

Still errors with GAIR loading dataset

2
#3 opened 2 months ago by brando
commented 2 papers 27 days ago
New activity in internlm/Lean-Workbook about 2 months ago

what exact model did the autoformalization?

1
#2 opened about 2 months ago by brando
New activity in GAIR/MathPile 2 months ago

Issue with TypeError in GAIR/MathPile Dataset Loading

5
#2 opened 11 months ago by BaiXue
New activity in deepseek-ai/DeepSeek-Prover-V1.5-SFT 2 months ago

is this model good for autoformalization?
#5 opened 2 months ago by brando
New activity in internlm/internlm2_5-1_8b 3 months ago

internlm-2.5 1.8B Matm model available?
#3 opened 3 months ago by brando
New activity in deepseek-ai/deepseek-math-7b-instruct 3 months ago

If I want the model to output something in a specific format, which format do you recommend?
#3 opened 3 months ago by brando
New activity in Iddah/llama3-8B-informalization 3 months ago

what base model was used? base or instruct?

1
#1 opened 3 months ago by brando
New activity in deepseek-ai/DeepSeek-Prover-V1.5-RL 3 months ago

demo with vllm?

1
#4 opened 3 months ago by brando
New activity in internlm/internlm2_5-1_8b 3 months ago

recommended max length?

1
#2 opened 3 months ago by brando

vllm support?
#1 opened 3 months ago by brando
New activity in openai-community/gpt2-xl 3 months ago

training gpt2 xl from stratch?

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

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

upload lemma definitions
#6 opened 3 months ago by jizej

Upload dataset

1
#5 opened 6 months ago by jizej
New activity in Qwen/Qwen2-1.5B 4 months ago

recommended context length for SFT?
#6 opened 4 months ago by brando