Table of Contents
Fetching ...

MultiRisk: Multiple Risk Control via Iterative Score Thresholding

Sunay Joshi, Yan Sun, Hamed Hassani, Edgar Dobriban

TL;DR

The paper tackles multi-criterion test-time filtering for generative systems by formulating a sequential risk-control problem: minimize an objective risk while enforcing multiple constraint risks via thresholds on score signals. It introduces two dynamic-programming algorithms, multirisk-base and multirisk, with the latter providing distribution-free guarantees through symmetric risk reductions and conformal-style safeguards. The authors establish finite-sample upper and lower bounds, concentration results, and near-optimality of the objective under mild regularity, and demonstrate the approach on a three-constraint LLM alignment task (PKU-SafeRLHF), achieving effective control of safety and uncertainty with improved objective performance. The work advances practical, provably reliable multi-risk control for test-time outputs and has implications for safer, more controllable AI deployments in real-world applications.

Abstract

As generative AI systems are increasingly deployed in real-world applications, regulating multiple dimensions of model behavior has become essential. We focus on test-time filtering: a lightweight mechanism for behavior control that compares performance scores to estimated thresholds, and modifies outputs when these bounds are violated. We formalize the problem of enforcing multiple risk constraints with user-defined priorities, and introduce two efficient dynamic programming algorithms that leverage this sequential structure. The first, MULTIRISK-BASE, provides a direct finite-sample procedure for selecting thresholds, while the second, MULTIRISK, leverages data exchangeability to guarantee simultaneous control of the risks. Under mild assumptions, we show that MULTIRISK achieves nearly tight control of all constraint risks. The analysis requires an intricate iterative argument, upper bounding the risks by introducing several forms of intermediate symmetrized risk functions, and carefully lower bounding the risks by recursively counting jumps in symmetrized risk functions between appropriate risk levels. We evaluate our framework on a three-constraint Large Language Model alignment task using the PKU-SafeRLHF dataset, where the goal is to maximize helpfulness subject to multiple safety constraints, and where scores are generated by a Large Language Model judge and a perplexity filter. Our experimental results show that our algorithm can control each individual risk at close to the target level.

MultiRisk: Multiple Risk Control via Iterative Score Thresholding

TL;DR

The paper tackles multi-criterion test-time filtering for generative systems by formulating a sequential risk-control problem: minimize an objective risk while enforcing multiple constraint risks via thresholds on score signals. It introduces two dynamic-programming algorithms, multirisk-base and multirisk, with the latter providing distribution-free guarantees through symmetric risk reductions and conformal-style safeguards. The authors establish finite-sample upper and lower bounds, concentration results, and near-optimality of the objective under mild regularity, and demonstrate the approach on a three-constraint LLM alignment task (PKU-SafeRLHF), achieving effective control of safety and uncertainty with improved objective performance. The work advances practical, provably reliable multi-risk control for test-time outputs and has implications for safer, more controllable AI deployments in real-world applications.

Abstract

As generative AI systems are increasingly deployed in real-world applications, regulating multiple dimensions of model behavior has become essential. We focus on test-time filtering: a lightweight mechanism for behavior control that compares performance scores to estimated thresholds, and modifies outputs when these bounds are violated. We formalize the problem of enforcing multiple risk constraints with user-defined priorities, and introduce two efficient dynamic programming algorithms that leverage this sequential structure. The first, MULTIRISK-BASE, provides a direct finite-sample procedure for selecting thresholds, while the second, MULTIRISK, leverages data exchangeability to guarantee simultaneous control of the risks. Under mild assumptions, we show that MULTIRISK achieves nearly tight control of all constraint risks. The analysis requires an intricate iterative argument, upper bounding the risks by introducing several forms of intermediate symmetrized risk functions, and carefully lower bounding the risks by recursively counting jumps in symmetrized risk functions between appropriate risk levels. We evaluate our framework on a three-constraint Large Language Model alignment task using the PKU-SafeRLHF dataset, where the goal is to maximize helpfulness subject to multiple safety constraints, and where scores are generated by a Large Language Model judge and a perplexity filter. Our experimental results show that our algorithm can control each individual risk at close to the target level.
Paper Structure (59 sections, 25 theorems, 205 equations, 7 figures, 2 tables, 2 algorithms)

This paper contains 59 sections, 25 theorems, 205 equations, 7 figures, 2 tables, 2 algorithms.

Key Result

Theorem 5.1

Fix $m\geqslant 1$ and let $(\hat{\lambda}_{1:m})$ be the thresholds constructed by multirisk (alg:multirisk).

Figures (7)

  • Figure 1: Overview of multirisk-base and multirisk. (Left) An illustration of our algorithms in a two-constraint setting, where scores are iteratively compared to thresholds to determine the model behavior. (Right) In a three-constraint Large Language Model alignment experiment (\ref{['sec:sims']}), multirisk-base and multirisk achieve the lowest objective test risk compared to baselines while controlling the risks.
  • Figure 2: Dependency graph of multirisk thresholds (\ref{['alg:multirisk']}) for three constraints.
  • Figure 3: Illustration of the bound in \ref{['thm:reverse-ineq']}.
  • Figure 4: Tradeoff for constraint one for three-constraint example. For LTT, for a given $\delta$, we set the risk budgets according to \ref{['eq:heuristic-ltt-budgets']}. LTT is run with CLT p-values and the Bonferroni multiple testing procedure. Averaged over 10 random calibration-test splits, with an error band of one standard error.
  • Figure 5: Tradeoff for constraint two for three-constraint example. For LTT, for a given $\delta$, we set the risk budgets according to \ref{['eq:heuristic-ltt-budgets']}. LTT is run with CLT p-values and the Bonferroni multiple testing procedure. Averaged over 10 random calibration-test splits, with an error band of one standard error.
  • ...and 2 more figures

Theorems & Definitions (49)

  • Theorem 5.1: Risk control guarantee and tightness
  • Theorem 5.2: Tight control of the objective
  • Remark 5.3
  • Lemma 5.8: Controlling the risk via the symmetrized generalized inverse
  • Lemma 5.9: Sandwiching a real inverse between two oracle inverses
  • Theorem 5.10: Upper bound on multirisk constraint risks
  • Lemma 5.15: Bounded jumps
  • Theorem 5.16: Reversed inequality for $U^{\mathrm{sym}}_j$
  • Corollary 5.17: Lower bound on multirisk constraint risks
  • Theorem 5.26: Bound on multirisk objective value
  • ...and 39 more