Voozh

VOOZH

URL: https://huggingface.co/lm-provers/models

⇱ lm-provers (LM Provers)

AI & ML interests

None defined yet.

Recent Activity

cfahlgren1 submitted a paper 3 days ago

From AGI to ASI

lewtun submitted a paper 4 months ago

Single-minus gluon tree amplitudes are nonzero

lewtun submitted a paper 4 months ago

Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL

View all activity

lm-provers 's models 2

Text Generation • 4B • Updated Mar 23 • 156 • • 88

Text Generation • 4B • Updated Mar 9 • 300 • • 6