LM Provers

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a model about 1 hour ago

lm-provers/QED-Nano

lewtun submitted a paper about 17 hours ago

Single-minus gluon tree amplitudes are nonzero

aviralku updated a model 2 days ago

lm-provers/QED-Nano

View all activity

lm-provers 's models 1

lm-provers/QED-Nano

Text Generation • 4B • Updated about 1 hour ago • 103 • 30