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