LM Provers

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a model about 9 hours ago

lm-provers/QED-Nano

lewtun submitted a paper 1 day 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 9 hours ago • 103 • 31