AI4M/gemma2-2b-gpt4-more-5-epochs
3B • Updated
AI & ML interests
We were founded by Brando Miranda at Stanford for impactful AI & Machine Learning efforts for solving mathematics to benefit all humanity.
AI4M/gemma2-2b-gpt4-more-dataset
3B • Updated • 2
AI4M/gpt2-gpt4-more-dataset
0.1B • Updated
AI4M/gpt2-mma-dataset
0.1B • Updated
AI4M/gpt2-gpt4-more
0.1B • Updated
AI4M/gemma-2-2b-gpt4-more
3B • Updated
AI4M/gemma-2-2b-mma-dataset
3B • Updated
AI4M/llama3-8b-leandojo-informalized
Text Generation • 8B • Updated • 4
AI4M/mix1
Text Generation • 0.1B • Updated • 5
AI4M/minif2f-individual-lines
Updated
AI4M/gpt4-full-proof
Text Generation • 0.1B • Updated • 4
AI4M/regexInformalizationData
Text Generation • 0.1B • Updated • 4
AI4M/prompted_informal_v1
Text Generation • 0.1B • Updated • 6
AI4M/mma-3-epochs
Text Generation • 0.1B • Updated • 4
AI4M/simple_regex_dataset
Updated