On: Learning to Reason with LLMs

[mewpmewp2]

It's hard to evaluate those win-rates, because if it's slower, people may have been giving easier problems, which both can solve and picked the faster one.