t55
RL Speedrun
Target Policy Optimization
Show HN: Kilroy – Knowledge base for teams using Claude Code
https://github.com/kilroy-sh/kilroy/
Hey HN — we’re a small team that uses Claude Code + Codex for basically everything in our company: coding, data analysis, marketing, ad campaigns, copywriting, design.There’s a truckload of tribal knowledge we’ve accumulated; major decisions, gotchas, user feedback driven changes. Providing this to our agents manually every time is very mundane.We built Kilroy to solve this in a simple way: we...
Procedural Reasoning Datasets
In Defence of Gary Marcus
Reasoning Gym – Procedural RL reasoning datasets
ChatGPT Agent [video]
gemini 2.5 pro shines for 200k+ tokens
i still think my original statement is fair
> How can these spurious rewards possibly work? Can we get similar gains on other models with broken rewards?
it's because in those cases, RLVR merely elicits the reasoning strategies already contained in the model through pre-training
this paper, which uses Reasoning gym, shows that you need to train for way longer than those papers you mentioned to actually uncover novel reasoning strategies: https://arxiv.org/abs/2505.24864
does this mean that previous RL papers claiming the opposite were possibly bottlenecked by small datasets?
Given that GDM pioneered RL, that's a reasonable assumption
We introduce Reasoning Gym (RG), a library of reasoning environments for reinforcement learning with verifiable rewards. It provides over 100 data generators and verifiers spanning multiple domains including algebra, arithmetic, computation, cognition, geometry, graph theory, logic, and various common games. Its key innovation is the ability to generate virtually infinite training data with adjustable complexity, unlike most previous reasoning datasets, which are typically fixed. This procedural generation approach allows for continuous evaluation across varying difficulty levels. Our experimental results demonstrate the efficacy of RG in both evaluating and reinforcement learning of reasoning models.
ReasoningGym: Reasoning Environments for RL with Verifiable Rewards
Show HN: Rehearsal.so, Duolingo for Public Speaking
which sort of interviews will you support?