The Ultimate Data Centric Alliance
non-profit
AI & ML interests
We were founded by Brando Miranda at Stanford for impactful data centric machine learning.
Recent Activity
models
41

UDACA/math-gpt2-zipfit
0.1B
•
Updated
•
11

UDACA/math-gpt2-less
0.1B
•
Updated
•
36

UDACA/math-gpt2-dsir
0.1B
•
Updated
•
36

UDACA/math-gemma-2-2b-dsir3
3B
•
Updated
•
10

UDACA/math-gemma-2-2b-dsir2
3B
•
Updated
•
10

UDACA/math-gemma-2-2b-less4
3B
•
Updated
•
11

UDACA/math-gemma-2-2b-zipfit4
3B
•
Updated
•
10

UDACA/math-gemma-2-2b-zipfit3
3B
•
Updated
•
11

UDACA/math-gemma-2-2b-LESS3
3B
•
Updated
•
71

UDACA/math-gemma-2-2b-LESS2
3B
•
Updated
•
10
datasets
14
UDACA/DSIR-train
Viewer
•
Updated
•
1k
•
26
UDACA/ZIPFIT-train
Viewer
•
Updated
•
1k
•
30
UDACA/proofnet-v3-lean4
Viewer
•
Updated
•
365
•
64
•
1
UDACA/proofnet-v2-lean4
Viewer
•
Updated
•
371
•
36
•
1
UDACA/minif2f-lean4
Viewer
•
Updated
•
488
•
44
•
1
UDACA/proofnet-lean4
Viewer
•
Updated
•
371
•
44
•
1
UDACA/Code-Mixed-Dataset
Preview
•
Updated
•
45
•
1
UDACA/MMA-with-Text
Preview
•
Updated
•
18
UDACA/AF-split
Viewer
•
Updated
•
10.8k
•
5
UDACA/Split-Isa-AF-MMA
Viewer
•
Updated
•
499k
•
9