The AI Alliance for Solving Mathematics for All (AI4M)
non-profit
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
Collections
2
models
8
AI4M/llama3-8b-leandojo-informalized
Text Generation
•
Updated
•
22
AI4M/mix1
Text Generation
•
Updated
•
17
AI4M/minif2f-individual-lines
Updated
AI4M/gpt4-full-proof
Text Generation
•
Updated
•
16
AI4M/regexInformalizationData
Text Generation
•
Updated
•
14
AI4M/prompted_informal_v1
Text Generation
•
Updated
•
12
AI4M/mma-3-epochs
Text Generation
•
Updated
•
13
AI4M/simple_regex_dataset
Updated
datasets
17
AI4M/less-code-top-1M
Viewer
•
Updated
•
1.67k
•
21
AI4M/leandojo-informalized
Viewer
•
Updated
•
31.1k
•
34
•
1
AI4M/102k_token_clean_claude_dataset
Viewer
•
Updated
•
144
•
6
AI4M/250ktokendataset
Viewer
•
Updated
•
220
•
7
AI4M/claudedataset-2
Viewer
•
Updated
•
94
•
10
AI4M/regex_gpt4
Viewer
•
Updated
•
2.97k
•
6
AI4M/minif2f_real
Viewer
•
Updated
•
244
•
8
AI4M/gpt-4fp_minif2f_mix
Viewer
•
Updated
•
534
•
7
AI4M/gpt4-more
Viewer
•
Updated
•
348
•
11
AI4M/michael-af
Viewer
•
Updated
•
620
•
55