wut?

AI & ML interests

None defined yet.

Recent Activity

lewtun  submitted a paper about 2 hours ago

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

burtenshaw  authored a paper 4 months ago

A Cartography of Open Collaboration in Open Source AI: Mapping Practices, Motivations, and Governance in 14 Open Large Language Model Projects

lewtun  authored a paper 9 months ago

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

View all activity

Team members 199