LM Provers

Team

community

AI & ML interests

None defined yet.

Recent Activity

JasperDekoninck updated a Space 1 day ago

lm-provers/qed-nano-blogpost

lewtun updated a Space 1 day ago

lm-provers/qed-nano-blogpost

JasperDekoninck new activity 2 days ago

lm-provers/QED-Nano:Formal proofs

View all activity

lm-provers 's models 2

lm-provers/QED-Nano

Text Generation • 4B • Updated 3 days ago • 352 • 67

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated 5 days ago • 86 • 3