L3 Lab

university

https://cmu-l3.github.io/

AI & ML interests

None defined yet.

Recent Activity

jclune4 updated a dataset 1 day ago

l3lab/lean-premises

jclune4 updated a model 1 day ago

l3lab/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-ne2

hanwenzhu authored a paper about 1 month ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

View all activity

l3lab 's datasets 9

l3lab/miniCTX-v2

Viewer • Updated Jul 22, 2025 • 668 • 98 • 3

l3lab/miniCTX-v2-data

Updated Jul 14, 2025

l3lab/Massive-Math-455K-Verified

Viewer • Updated Jul 13, 2025 • 455k • 15 • 1

l3lab/lean-premises

Updated May 21, 2025 • 6 • 2

l3lab/miniCTX

Viewer • Updated Feb 12, 2025 • 662 • 256 • 3

l3lab/ntp-mathlib-instruct-context-fullproof

Viewer • Updated Sep 6, 2024 • 144k • 26 • 1

l3lab/ntp-mathlib-instruct-context

Viewer • Updated Sep 6, 2024 • 614k • 37 • 1

l3lab/ntp-mathlib

Viewer • Updated Sep 6, 2024 • 213k • 102 • 2

l3lab/ntp-mathlib-instruct-st

Viewer • Updated Sep 6, 2024 • 307k • 37