Hugging Face's logo
Brando Miranda's picture
44 5 51

Brando Miranda

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

AI & ML interests

soccer, music, dance, reading

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 Putnam-AXIOM/putnam-axiom-dataset 9 days ago

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

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

1
#3 opened 9 days ago by brando
New activity in GAIR/MathPile 15 days ago

Still errors with GAIR loading dataset

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

what exact model did the autoformalization?

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

Issue with TypeError in GAIR/MathPile Dataset Loading

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

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

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

If I want the model to output something in a specific format, which format do you recommend?
#3 opened 2 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 3 months ago

recommended context length for SFT?
#6 opened 3 months ago by brando
New activity in internlm/internlm2-1_8b 3 months ago

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