CMU's GracefulRL Cuts AI Math Errors from 79% to 9% Without Losing Accuracy
A new RL method called GracefulRL teaches language models to pick a safe fallback instead of guessing when they are likely to fail.
- CMU researchers release GracefulRL, an RL method teaching LLMs to abstain instead of guessing wrong.
- Reward structure uses three outcomes: Success, Fallback, Error, ranked in that order.
- Naive GRPO/RLOO with intermediate rewards collapses to always-fallback or never-fallback policies.
- Log-barriers on the outcome simplex keep gradients non-vanishing near degenerate solutions.
- On AIME, error rate drops from 79.1% to 8.9% with only 3.1pt success loss.
- Code and details on the project website; tested on math, SafeMaze, and Minesweeper.
GracefulRL trains language models to back off safely
Reinforcement learning with verifiable rewards can improve a language model’s accuracy while encouraging it to attempt every task. A shaky guess still offers some chance of reward, whereas abstaining offers none. That incentive becomes risky when an incorrect action can corrupt a database, execute a destructive command, or introduce faulty production code. Carnegie Mellon researchers propose GracefulRL, a training method that rewards models for using a safe fallback when success is unlikely.
Reinforcement learning with verifiable rewards, or RLVR, scores outputs using a checkable signal such as an exact answer, passing test, or valid game state. GracefulRL expands that signal into three ordered outcomes:
- Success: The model completes the task and receives a reward of
1. - Fallback: The model executes a predefined safe action and receives a partial reward
c, where0 < c < 1. - Error: The model attempts the task and fails, receiving a reward of
0.
A fallback might answer “I don’t know,” request human approval, stop a tool call, or move to a safe square in a game. The reward ordering makes completion preferable to abstention and abstention preferable to failure. The model learns which prompts warrant each behavior from outcome rewards, with no per-example labels specifying when to give up.
Why three rewards still collapse
Feeding the three rewards directly into Group Relative Policy Optimization (GRPO) or REINFORCE Leave-One-Out (RLOO) produces unstable behavior, according to the paper. GRPO compares rewards among multiple responses to the same prompt, while RLOO uses the other sampled responses as a baseline. Both depend on finite batches of model rollouts to estimate a useful policy gradient.
This story is for Pro members
You've reached the end of the free preview. Upgrade to AlphaSignal Pro to read the full article - and everything else behind the paywall.