Live data from Hacker News

ReasoningGym: Reasoning Environments for RL with Verifiable Rewards

arxiv.org

31–34 of 34 posts

Re: ReasoningGym: Reasoning Environments for RL with Verifiable Rewards

#31

by the love of god, please stop overfitting on gsm8k

Difficult one. GSM8K and MATH evals (both reported in Reasoning Gym paper) are common in smaller model RL papers for a reason, which is that smaller models can get decent scores on them, unlike fresher & harder benchmarks.

Part of the aim of RG is to be used as a difficulty-adjustable & non-repeating eval though so if people think it's a good benchmark, perhaps it will allow this status quo to shift!

Re: ReasoningGym: Reasoning Environments for RL with Verifiable Rewards

#32
post #30
post #29

Earlier quoted context omitted.

I think it's a case of not coming up with alternative explanations for the observed evidence and hence not designing experiments to distinguish between those explanations. Their results are consistent with novel reasoning strategies, but they're also consistent with more reliable execution of reasoning strategies that the base model can generate in principle, but rarely succeeds at due to a large number of steps. (If…

One challenge with this line of argument is that the base model assigns non-zero probability to all possible sequences if we ignore truncation due to numerical precision. So, in a sense you could say any performance improvement is due to shifting probability mass towards good reasoning behaviors and away from bad ones that were already present in the base model. I agree with your general point though. Ie, we need mor…

While it's true that the model assigns non-zero probabilities to all sequences by design, those probabilities can get a lot smaller. E.g. replace that 99% per-step success probability with 10% and suddenly the overall chance of a correct result is truly astronomically small.

For a novel reasoning strategy, I would expect at least a few individual tokens where the base model assigns much smaller probabilities than the reinforcement-learning trained one, as opposed to just being a little smaller but spread out over many tokens. (Which would better fit a "death by a thousand cuts" scenario.)

Re: ReasoningGym: Reasoning Environments for RL with Verifiable Rewards

#33
post #23

Earlier quoted context omitted.

Assuming with GDM, you mean Google-Deep Mind. They pioneered RL with deep nets as policy function estimator. The deep nets being a result of CNNs and massive improvements in hardware parallelization at the time. RL was established, at the latest, with Q-learning in 1989: https://en.wikipedia.org/wiki/Q-learning

i didn't say they invented everything; in science you always stand on the shoulders of giants i still think my original statement is fair

"gdm pioneered rl" is definitely not actually right, but it's correct to assert that they were huge players.

people who knew from context that your statement was broadly not actually right would know what you mean and agree on vibes. people who didn't could reasonably be misled, i think.

Re: ReasoningGym: Reasoning Environments for RL with Verifiable Rewards

#34
post #16
post #8

Earlier quoted context omitted.

> prolonged RL training can uncover novel reasoning strategies that are inaccessible to base models, even under extensive sampling does this mean that previous RL papers claiming the opposite were possibly bottlenecked by small datasets?

No, they do not point to any specific examples of novel reasoning strategies that were uncovered, nor is their sampling that extensive (at most 256 samples vs the 2048 used in https://limit-of-rlvr.github.io/ ).

Seems unreasonable to say that in figure 5 for example, that more sampling (of a reasonable amount) would push the base to 100%
Post reply on HN