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 datasets 23

AI4M/math-select-less-llama8b

Viewer • Updated May 15 • 82.6k • 12

AI4M/less-proofnet-lean4-ranked

Viewer • Updated Jan 29 • 189k • 15

AI4M/less-proofnet-lean4-top1M

Viewer • Updated Jan 29 • 1.12k • 10 • 1

AI4M/zipfit-TOP1M-AF

Viewer • Updated Jan 28 • 12.5k • 12

AI4M/dsir-TOP1M-AF

Viewer • Updated Jan 28 • 2.83k • 8

AI4M/zipfit-AF-TOP1M

Viewer • Updated Jan 28 • 1.5k • 33

AI4M/less-code-top-1M

Viewer • Updated Nov 22, 2024 • 1.67k • 9

AI4M/leandojo-informalized

Viewer • Updated May 30, 2024 • 31.1k • 28 • 1

AI4M/102k_token_clean_claude_dataset

Viewer • Updated Mar 25, 2024 • 144 • 13

AI4M/250ktokendataset

Viewer • Updated Mar 25, 2024 • 220 • 8

AI4M/claudedataset-2

Viewer • Updated Mar 25, 2024 • 94 • 20

AI4M/regex_gpt4

Viewer • Updated Mar 18, 2024 • 2.97k • 8

AI4M/minif2f_real

Viewer • Updated Mar 18, 2024 • 244 • 5

AI4M/gpt-4fp_minif2f_mix

Viewer • Updated Mar 14, 2024 • 534 • 11

AI4M/gpt4-more

Viewer • Updated Mar 7, 2024 • 348 • 9

AI4M/michael-af

Viewer • Updated Mar 7, 2024 • 620 • 5

AI4M/mma-dataset

Viewer • Updated Mar 6, 2024 • 88.5k • 14

AI4M/miniF2FInformalizations

Viewer • Updated Mar 6, 2024 • 186 • 5

AI4M/regexInformalizationData

Viewer • Updated Mar 6, 2024 • 2.88k • 8

AI4M/stateInfoInformalizationBig

Viewer • Updated Mar 6, 2024 • 100 • 5

AI4M/willy_mix_1

Viewer • Updated Feb 26, 2024 • 215 • 10

AI4M/minif2f_dataset

Viewer • Updated Feb 20, 2024 • 186 • 17

AI4M/state_info_informalization

Viewer • Updated Feb 12, 2024 • 29 • 7