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.

AI4M 's models 15

AI4M/gemma2-2b-gpt4-more-5-epochs

3B • Updated Mar 6 • 2

AI4M/gemma2-2b-gpt4-more-dataset

3B • Updated Feb 20 • 2

AI4M/gpt2-gpt4-more-dataset

0.1B • Updated Feb 20 • 2

AI4M/gpt2-mma-dataset

0.1B • Updated Feb 20 • 2

AI4M/gpt2-gpt4-more

0.1B • Updated Feb 20 • 2

AI4M/gemma-2-2b-gpt4-more

3B • Updated Feb 14 • 2

AI4M/gemma-2-2b-mma-dataset

3B • Updated Feb 14 • 2

AI4M/llama3-8b-leandojo-informalized

Text Generation • 8B • Updated May 31, 2024 • 6

AI4M/mix1

Text Generation • 0.1B • Updated Mar 15, 2024 • 3

AI4M/minif2f-individual-lines

Updated Mar 12, 2024

AI4M/gpt4-full-proof

Text Generation • 0.1B • Updated Mar 12, 2024 • 2

AI4M/regexInformalizationData

Text Generation • 0.1B • Updated Mar 7, 2024 • 2

AI4M/prompted_informal_v1

Text Generation • 0.1B • Updated Mar 7, 2024 • 2

AI4M/mma-3-epochs

Text Generation • 0.1B • Updated Mar 6, 2024 • 2

AI4M/simple_regex_dataset

Updated Feb 27, 2024