LM Provers

Team

community

AI & ML interests

None defined yet.

Recent Activity

JasperDekoninck new activity about 10 hours ago

lm-provers/QED-Nano:Formal proofs

lewtun new activity 1 day ago

lm-provers/QED-Nano:Training costs question

lewtun updated a model 1 day ago

lm-provers/QED-Nano

View all activity

lm-provers 's models 2

lm-provers/QED-Nano

Text Generation • 4B • Updated 1 day ago • 217 • 51

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated 3 days ago • 23 • 3