The Ultimate Data Centric Alliance

non-profit

AI & ML interests

We were founded by Brando Miranda at Stanford for impactful data centric machine learning.

Collections 1

models 41

UDACA/math-gpt2-zipfit

UDACA/math-gpt2-less

UDACA/math-gpt2-dsir

UDACA/math-gemma-2-2b-dsir3

UDACA/math-gemma-2-2b-dsir2

UDACA/math-gemma-2-2b-less4

UDACA/math-gemma-2-2b-zipfit4

UDACA/math-gemma-2-2b-zipfit3

UDACA/math-gemma-2-2b-LESS3

UDACA/math-gemma-2-2b-LESS2

datasets 12

UDACA/proofnet-v3-lean4

Viewer • Updated Jan 31 • 365 • 51 • 1

UDACA/proofnet-v2-lean4

Viewer • Updated Jan 31 • 371 • 39 • 1

UDACA/minif2f-lean4

Viewer • Updated Jan 31 • 488 • 45 • 1

UDACA/proofnet-lean4

Viewer • Updated Jan 27 • 371 • 28 • 1

UDACA/Code-Mixed-Dataset

Preview • Updated Oct 12, 2024 • 2 • 1

UDACA/MMA-with-Text

Preview • Updated Mar 18, 2024 • 41

UDACA/AF-split

Viewer • Updated Mar 17, 2024 • 10.8k • 9

UDACA/Split-Isa-AF-MMA

Viewer • Updated Mar 17, 2024 • 499k • 6

UDACA/Isa-AF-MMA

Preview • Updated Mar 17, 2024 • 49

UDACA/AF-with-metaData

Viewer • Updated Mar 17, 2024 • 5.41k • 13