Ought

non-profit

https://ought.org/

oughtinc

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

lewtun submitted a paper about 14 hours ago

Single-minus gluon tree amplitudes are nonzero

lewtun submitted a paper 2 days ago

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

lewtun authored a paper 9 months ago

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

View all activity

ought 's datasets 2

ought/raft-submission

Viewer • Updated Apr 27, 2023 • 1 • 107 • 3

ought/raft

Viewer • Updated Oct 25, 2022 • 29.3k • 1.04k • 61