AI4M/less-proofnet-lean4-ranked
Viewer
•
Updated
•
189k
•
16
The AI Alliance for Solving Mathematics for All (AI4M)
non-profit
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
View all activity
AI4M's activity
Iddah
updated
a
dataset
7 days ago
Iddah
published
a
dataset
7 days ago
Iddah
updated
a
dataset
7 days ago
Iddah
published
a
dataset
7 days ago
eobbad
updated
a
dataset
7 days ago
eobbad
published
a
dataset
7 days ago
eobbad
updated
a
dataset
7 days ago
eobbad
published
a
dataset
7 days ago
eobbad
updated
a
dataset
7 days ago
eobbad
published
a
dataset
7 days ago
Iddah
updated
a
dataset
2 months ago
brando
authored
3
papers
3 months ago
Are Emergent Abilities of Large Language Models a Mirage?
Paper
•
2304.15004
•
Published
•
6
ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment
Paper
•
2410.18194
•
Published
•
4
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
Paper
•
2410.16429
•
Published
•
3
brando
authored
a
paper
8 months ago
Iddah
updated
a
model
8 months ago
Iddah
updated
a
dataset
8 months ago
akjadhav
updated
3
datasets
11 months ago