L3 Lab

university

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

AI & ML interests

None defined yet.

Recent Activity

hanwenzhu authored a paper 4 days ago

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

jclune4 updated a dataset 11 days ago

l3lab/lean-premises

jclune4 updated a model 11 days ago

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

View all activity

l3lab 's collections 2