Hugging Face's logo 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

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

Sean Welleck's profile picture Pranjal Aggarwal's profile picture Joshua Clune's profile picture Zeyu Zheng's profile picture

l3lab 's datasets 10

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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs