AI & ML interests
We were founded by Brando Miranda at Stanford for impactful AI & Machine Learning efforts for solving mathematics to benefit all humanity.
models 15
AI4M/gemma2-2b-gpt4-more-5-epochs
3B • Updated • 2
AI4M/gemma2-2b-gpt4-more-dataset
3B • Updated • 4
AI4M/gpt2-gpt4-more-dataset
0.1B • Updated • 4
AI4M/gpt2-mma-dataset
0.1B • Updated • 2
AI4M/gpt2-gpt4-more
0.1B • Updated • 2
AI4M/gemma-2-2b-gpt4-more
3B • Updated • 2
AI4M/gemma-2-2b-mma-dataset
3B • Updated • 1
AI4M/llama3-8b-leandojo-informalized
Text Generation • 8B • Updated • 8
AI4M/mix1
Text Generation • 0.1B • Updated • 7
AI4M/minif2f-individual-lines
Updated
datasets 23
AI4M/math-select-less-llama8b
Viewer • Updated • 82.6k • 5
AI4M/less-proofnet-lean4-ranked
Viewer • Updated • 189k • 8 • 1
AI4M/less-proofnet-lean4-top1M
Viewer • Updated • 1.12k • 8 • 1
AI4M/zipfit-TOP1M-AF
Viewer • Updated • 12.5k • 4
AI4M/dsir-TOP1M-AF
Viewer • Updated • 2.83k • 6
AI4M/zipfit-AF-TOP1M
Viewer • Updated • 1.5k • 4
AI4M/less-code-top-1M
Viewer • Updated • 1.67k • 5
AI4M/leandojo-informalized
Viewer • Updated • 31.1k • 13 • 1
AI4M/102k_token_clean_claude_dataset
Viewer • Updated • 144 • 10
AI4M/250ktokendataset
Viewer • Updated • 220 • 6