L3 Lab

university

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

AI & ML interests

None defined yet.

Recent Activity

hanwenzhu updated a dataset 4 days ago

l3lab/miniCTX-v2

hanwenzhu updated a dataset 12 days ago

l3lab/miniCTX-v2-data

hanwenzhu published a dataset 12 days ago

l3lab/miniCTX-v2-data

View all activity

l3lab 's datasets 9

l3lab/miniCTX-v2

Viewer • Updated 4 days ago • 668 • 128 • 2

l3lab/miniCTX-v2-data

Updated 12 days ago • 14

l3lab/Massive-Math-455K-Verified

Viewer • Updated 13 days ago • 455k • 95

l3lab/lean-premises

Updated May 21 • 14 • 1

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 120 • 3

l3lab/ntp-mathlib-instruct-context-fullproof

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

l3lab/ntp-mathlib-instruct-context

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

l3lab/ntp-mathlib

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

l3lab/ntp-mathlib-instruct-st

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