L3 Lab

university

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

AI & ML interests

None defined yet.

Recent Activity

hanwenzhu updated a dataset 5 days ago

l3lab/lean-premises

hanwenzhu published a dataset about 1 month ago

l3lab/lean-premises

wellecks authored a paper about 1 month ago

The CoT Encyclopedia: Analyzing, Predicting, and Controlling how a Reasoning Model will Think

View all activity

Collections 2

models 5

l3lab/L1-Qwen-1.5B-Exact

2B • Updated Apr 7 • 12.8k • 5

l3lab/L1-Qwen-1.5B-Max

2B • Updated Mar 7 • 3.53k • 15

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

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

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

Text Generation • Updated Sep 6, 2024 • 31

l3lab/ntpctx-llama3-8b

Text Generation • Updated Aug 30, 2024 • 46 • 3

datasets 7

l3lab/lean-premises

Updated May 21 • 53 • 1

l3lab/miniCTX-v2

Viewer • Updated Mar 22 • 668 • 36 • 1

l3lab/miniCTX

Viewer • Updated Feb 12 • 662 • 1.49k • 3

l3lab/ntp-mathlib-instruct-context-fullproof

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

l3lab/ntp-mathlib-instruct-context

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

l3lab/ntp-mathlib

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

l3lab/ntp-mathlib-instruct-st

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