L3 Lab

university

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

AI & ML interests

None defined yet.

Recent Activity

hanwenzhu authored a paper about 9 hours ago

miniCTX: Neural Theorem Proving with (Long-)Contexts

hanwenzhu authored a paper about 9 hours ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

hanwenzhu updated a dataset 16 days ago

l3lab/miniCTX-v2

View all activity

Collections 2

models 11

l3lab/L1-Qwen3-8B-Max

8B • Updated 25 days ago • 42

l3lab/L1-Qwen3-8B-Exact

8B • Updated 25 days ago • 6

l3lab/L1-Qwen-7B-Max

8B • Updated 25 days ago • 608

l3lab/L1-Qwen-7B-Exact

8B • Updated 25 days ago • 46

l3lab/L1-1.5B-Short

2B • Updated 25 days ago • 5

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

Updated Jul 4 • 9

l3lab/L1-Qwen-1.5B-Exact

2B • Updated Apr 7 • 3.23k • 6

l3lab/L1-Qwen-1.5B-Max

2B • Updated Mar 7 • 1.75k • 16

l3lab/ntp-mathlib-context-deepseek-coder-1.3b

Text Generation • Updated Sep 6, 2024 • 9 • 3

l3lab/ntp-mathlib-st-deepseek-coder-1.3b

Text Generation • Updated Sep 6, 2024 • 11

datasets 9

l3lab/miniCTX-v2

Viewer • Updated 16 days ago • 668 • 172 • 2

l3lab/miniCTX-v2-data

Updated 24 days ago • 16

l3lab/Massive-Math-455K-Verified

Viewer • Updated 24 days ago • 455k • 130

l3lab/lean-premises

Updated May 21 • 8 • 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 • 85 • 1

l3lab/ntp-mathlib

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

l3lab/ntp-mathlib-instruct-st

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