LM Provers

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun published a dataset about 13 hours ago

lm-provers/olympiads-proof-graderbench

lewtun published a dataset about 13 hours ago

lm-provers/matharena-gradingbench

lewtun published a dataset about 13 hours ago

lm-provers/ProofBench

View all activity

lm-provers 's models 2

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated about 23 hours ago • 6 • 3

lm-provers/QED-Nano

Text Generation • 4B • Updated about 24 hours ago • 150 • 39