GEM benchmark submissions

AI & ML interests

To submit to the benchmark, visit: https://huggingface.co/spaces/GEM/submission-form

Recent Activity

lewtun  submitted a paper 22 days ago

Single-minus gluon tree amplitudes are nonzero

lewtun  submitted a paper 23 days ago

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

lewtun  authored a paper 10 months ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

View all activity

Team members 2