Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

The AI Alliance for Solving Mathematics for All (AI4M)

non-profit
https://brando90.github.io/brandomiranda/
BrandoHablando
Activity Feed

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

Iddah  updated a dataset about 2 months ago
AI4M/math-select-less-llama8b
Iddah  published a dataset about 2 months ago
AI4M/math-select-less-llama8b
eobbad  updated a model 4 months ago
AI4M/gemma2-2b-gpt4-more-5-epochs
View all activity

Brando Miranda's profile picture Elyas's profile picture Michael Souliman's profile picture Ameya Jadhav's profile picture Willy Chan's profile picture Iddah Ashley Kudakwashe Mlauzi's profile picture

AI4M 's models 15

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

3B • Updated Mar 6 • 19

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

3B • Updated Feb 20 • 22

AI4M/gpt2-gpt4-more-dataset

0.1B • Updated Feb 20 • 28

AI4M/gpt2-mma-dataset

0.1B • Updated Feb 20 • 6

AI4M/gpt2-gpt4-more

0.1B • Updated Feb 20 • 8

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

3B • Updated Feb 14 • 16

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

3B • Updated Feb 14 • 5

AI4M/llama3-8b-leandojo-informalized

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

AI4M/mix1

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

AI4M/minif2f-individual-lines

Updated Mar 12, 2024

AI4M/gpt4-full-proof

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

AI4M/regexInformalizationData

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

AI4M/prompted_informal_v1

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

AI4M/mma-3-epochs

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

AI4M/simple_regex_dataset

Updated Feb 27, 2024
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs