Hugging Face's logo
Brando Miranda's picture
24 2 13

Brando Miranda

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

AI & ML interests

soccer, music, dance, reading

Organizations

Stanford CRFM's profile picture Stanford AI'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

brando's activity

New activity in l3lab/ntp-mathlib-instruct-context 2 months ago

How is the [STATE]...[/STATE] supposed to be filled by training, any code for it? and similar things [TAC]...[/TAC] etc?
#2 opened 2 months ago by brando
New activity in l3lab/ntp-mathlib-instruct-st 2 months ago

How is the [STATE]...[/STATE] supposed to be filled by training, any code for it?
#1 opened 2 months ago by brando
New activity in EleutherAI/proof-pile-2 2 months ago

How does one load a data set using the math-pile2 and load specific languages from the algebraic stack?
#12 opened 2 months ago by brando

Dataset Viewer issue: ConfigNamesError
#11 opened 2 months ago by brando
New activity in tasksource/leandojo 2 months ago

is this lean4 or lean3 ?
#1 opened 2 months ago by brando
New activity in pixparse/pdfa-eng-wds 3 months ago

Where do I see the list of textbooks about mathematics?

1
#2 opened 3 months ago by brando
New activity in math-eval/TAL-SCQ5K 4 months ago

what is the website for tal?
#1 opened 4 months ago by brando
New activity in UDACA/AF 5 months ago

error no card
#3 opened 5 months ago by brando
New activity in google/gemma-7b 5 months ago

What is the context size for Gemma? I get error when asking for it in the config file e.g., AttributeError("'GemmaConfig' object has no attribute 'context_length'")

1
#63 opened 5 months ago by brando
New activity in google/gemma-2b 5 months ago

What is the context size for Gemma? I get error when asking for it in the config file e.g., AttributeError("'GemmaConfig' object has no attribute 'context_length'")

2
#32 opened 5 months ago by brando
New activity in UDACA/AF-with-metaData 5 months ago

we need to improve this with more details of data e.g., is this isabelle what datasets where merged etc?
#1 opened 5 months ago by brando
New activity in UDACA/AF 5 months ago

we need to improve this with more details of data e.g., is this isabelle what datasets where merged etc?
#2 opened 5 months ago by brando
New activity in brando/Coq-Gym-Data-Set 8 months ago

Upload dataset
#2 opened 8 months ago by jizej

test commit
#1 opened 8 months ago by jizej
New activity in morph-labs/morph-prover-v0-7b 9 months ago

request link to blog in model card

1
#3 opened 9 months ago by brando
New activity in kittn/mistral-7B-v0.1-hf 9 months ago

If I trained a model on mistral already, do I need to start from scratch due to difficulties of fine-tuning?

2
#1 opened 9 months ago by brando
New activity in mistralai/Mistral-7B-v0.1 9 months ago

If I trained a model on mistral already, do I need to start from scratch due to difficulties of fine-tuning?

2
#62 opened 9 months ago by brando
New activity in open-web-math/open-web-math 9 months ago

val/test sets?

1
#3 opened 9 months ago by brando
New activity in togethercomputer/RedPajama-Data-1T 11 months ago

Q: Why does RePajama exist? what problem are you solving?

1
#25 opened 11 months ago by brando
commented 2 papers 11 months ago
New activity in Mikael110/llama-2-70b-guanaco-qlora 11 months ago

where is the code to actually fine tune with qlora?

1
#4 opened 11 months ago by brando