Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
L3 Lab
university
https://cmu-l3.github.io/
Activity Feed
Follow
24
AI & ML interests
None defined yet.
Recent Activity
wellecks
published
a dataset
1 day ago
l3lab/far-explorer-2026-09-30
wellecks
updated
a dataset
1 day ago
l3lab/far-explorer-2026-09-30
zeyu-zheng
submitted
a paper
about 1 month ago
The Problem Is the Problem: Towards Scalable Mathematical Discovery
View all activity
Team members
4
l3lab
's datasets
10
Sort: Recently updated
l3lab/far-explorer-2026-09-30
Viewer
•
Updated
1 day ago
•
103k
•
24
l3lab/miniCTX-v2
Viewer
•
Updated
Jul 22, 2025
•
668
•
139
•
3
l3lab/miniCTX-v2-data
Updated
Jul 14, 2025
•
12
l3lab/Massive-Math-455K-Verified
Viewer
•
Updated
Jul 13, 2025
•
455k
•
132
•
1
l3lab/lean-premises
Updated
May 21, 2025
•
136
•
3
l3lab/miniCTX
Viewer
•
Updated
Feb 12, 2025
•
662
•
951
•
3
l3lab/ntp-mathlib-instruct-context-fullproof
Viewer
•
Updated
Sep 6, 2024
•
144k
•
67
•
1
l3lab/ntp-mathlib-instruct-context
Viewer
•
Updated
Sep 6, 2024
•
614k
•
120
•
1
l3lab/ntp-mathlib
Viewer
•
Updated
Sep 6, 2024
•
213k
•
160
•
2
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
Sep 6, 2024
•
307k
•
105