The AI Alliance for Solving Mathematics for All (AI4M)

non-profit

https://brando90.github.io/brandomiranda/

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 7

AI4M/mix1

Text Generation • Updated Mar 15 • 3

AI4M/minif2f-individual-lines

AI4M/gpt4-full-proof

Text Generation • Updated Mar 12 • 2

AI4M/regexInformalizationData

Text Generation • Updated Mar 7 • 14

AI4M/prompted_informal_v1

Text Generation • Updated Mar 7 • 2

AI4M/mma-3-epochs

Text Generation • Updated Mar 6 • 2

AI4M/simple_regex_dataset

datasets 15

AI4M/102k_token_clean_claude_dataset

Viewer • Updated Mar 25

AI4M/250ktokendataset

Viewer • Updated Mar 25

AI4M/claudedataset-2

Viewer • Updated Mar 25

AI4M/regex_gpt4

Viewer • Updated Mar 18

AI4M/minif2f_real

Viewer • Updated Mar 18

AI4M/gpt-4fp_minif2f_mix

Viewer • Updated Mar 14

AI4M/gpt4-more

Viewer • Updated Mar 7

AI4M/michael-af

Viewer • Updated Mar 7

AI4M/mma-dataset

Viewer • Updated Mar 6

AI4M/miniF2FInformalizations

Viewer • Updated Mar 6