REVIEW 2 major objections 5 minor 1 cited by
Feasible Learning
T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper argues that training models to cap each sample's loss, not minimize the average, produces fewer very-high-loss predictions at little average-cost penalty.
desk verdict A genuinely interesting learning framework with a clean theory, but its own CIFAR10 results contradict the abstract's unconditional tail-behavior claim. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The mechanism is the per-sample loss constraint: FL solves $\min_{\theta} 0$ subject to $g_i(\theta) \le \epsilon$ for every training sample, where $g_i$ is the loss on sample $i$. The paper solves this through a Lagrangian game with one multiplier $\lambda_i$ per sample; gradient descent on $\theta$ with ascent on $\lambda$ re-weights samples by their historical difficulty, so hard samples dominate updates and easy samples receive little pressure once their constraint is satisfied. RFL adds slack variables $u \ge 0$ with an $\alpha\|u\|^2$ penalty, which Proposition 1 turns into a quadratically regularized Lagrangian and Proposition 2 equates to an ERM objective with clamped-and-squared loss. The machinery's work is to make constraint satisfaction tractable at neural-network scale and to let the optimizer select a non-interpolating solution.
What would settle it
Run FL and ERM on the same benchmarks with matched hyperparameter budgets and compare test-set Conditional Value at Risk at high quantiles; if FL does not beat ERM on held-out data in a majority of tasks, the paper's central claim fails. The CIFAR10 experiment in Appendix C is already one such comparison that does not go FL's way.
Extended reading notes
Core claim
On its own terms, the paper's central claim is that models trained by solving a feasibility problem with per-sample loss constraints display improved tail behavior compared to ERM, with only a marginal impact on average performance. In Section 5.3, the paper reports that FL consistently achieves lower Conditional Value at Risk (CVaR), the average loss among the highest-loss samples, than ERM on the DPO task, and the conclusion states that FL yields a less heavy-tailed loss distribution than ERM. The paper presents this as an empirical discovery supported across image classification, age regression, and language-model preference alignment, not as a universal theorem.
Load-bearing premise
The load-bearing assumption is that compressing the high-loss tail on the training set also compresses it on fresh test data drawn from the same distribution; the paper's own CIFAR10 appendix shows one case where ERM has lower test tail losses than FL, so this transfer is not guaranteed.
Editorial extensions
If this is right
- If the central claim holds, practitioners can train high-capacity models with per-sample loss caps at roughly ERM's computational cost and obtain test solutions with fewer extreme losses.
- RFL gives a concrete recipe for infeasible settings: relax the constraints with minimal-norm slacks, which is equivalent to minimizing a clamped-and-squared loss, so standard ERM machinery can be reused.
- The per-sample Lagrange multipliers carry a difficulty signal, so the final training run can identify hard or mislabeled examples, and the many zero multipliers suggest data pruning is possible.
- In preference alignment for LLMs, RFL reduced maximum DPO losses while raising average loss only slightly, making it a candidate for deployments where a few bad responses matter more than average reward.
Reading between the lines
- Beyond the paper: if the tail-compression effect generalizes, final multiplier magnitudes could be used as a data-quality score to flag mislabeled or duplicated examples, extending the paper's UTKFace illustration.
- Beyond the paper: the paper's own CIFAR10 appendix shows the claim is not universal, so the immediate next experiment is a systematic comparison of training-set tail compression against test-set tail compression across benchmarks.
- Beyond the paper: because RFL is equivalent to a clamped-and-squared ERM objective, existing theory for thresholded losses likely applies to FL's generalization, a connection the paper does not develop.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces Feasible Learning (FL), a training paradigm in which a model is found by solving a feasibility problem that requires the per-sample loss to stay below a threshold epsilon, and Resilient Feasible Learning (RFL), a relaxation that adds minimal-norm slack variables to restore feasibility. The authors prove that RFL is equivalent to a quadratically regularized min-max problem (Proposition 1) and to a clamped-and-squared ERM objective (Proposition 2), and they propose alternating primal-dual updates with per-sample Lagrange multipliers. Experiments are reported on CIFAR10 classification, UTKFace age regression, and DPO fine-tuning of Llama-3.1-8B and Zephyr-3B. The central empirical claim is that FL and RFL achieve average performance comparable to ERM while improving tail behavior, i.e., reducing the number of very-high-loss samples and lowering CVaR.
Significance. The conceptual contribution is attractive and timely: framing learning as sample-level constraint satisfaction is a clean idea, and the primal-dual implementation is practical and has training cost comparable to ERM. The two propositions are simple but correctly proven, the slack-based treatment of infeasibility is principled, and the release of code supports reproducibility. The experiments span three qualitatively different tasks. However, the paper's most prominent advertised conclusion — that FL consistently yields less heavy-tailed loss distributions than ERM — is directly contradicted by the paper's own CIFAR10 results. Since this tail-behavior claim is the main reason a reader would prefer FL over ERM, the empirical core needs revision before the paper can be accepted in its current form.
major comments (2)
- [§5.3, Abstract, Conclusion vs. Appendix C.1] The statement in Section 5.3 that 'FL consistently achieves lower CVaR values compared to ERM' and the conclusion that 'FL yields a less heavy-tailed loss distribution than ERM' are not supported by the paper's own CIFAR10 results. Appendix C.1 explicitly states: 'In training, we observe slightly better CDF and CVaR curves for ERM compared to FL and RFL... A similar trend is observed in the test set.' Table 7 reports ERM test Max CE 12.830 ± 0.443 versus FL 15.533 ± 0.642 and RFL 16.235 ± 1.510, and Figure 5 shows ERM below FL and RFL in the CIFAR10 CVaR curves. Because the abstract and Section 5.3 present tail improvement as a general property, this internal contradiction is load-bearing. The authors should either scope the tail-behavior claim to the DPO and UTKFace settings, or provide a criterion for when the effect holds (noting, for example, that RFL with α=10^-3 in Table 8 does produce a lower CIFAR10 test Max CE than ERM, unlike the α=1 configuration emphasized in the main text).
- [§5.3 and Appendix C] The paper provides no distributional argument or stated assumption under which training-set loss concentration transfers to the test set. Because FL's constraints are enforced only on training samples, the test-side tail improvement is an empirical pattern rather than a consequence of the formulation. Given the CIFAR10 counterexample, the authors should either state a concrete hypothesis or condition for when tail improvement transfers, or explicitly limit the empirical contribution to the tasks and configurations where the effect is observed.
minor comments (5)
- [Appendix C.1] The text refers to 'a training dataset of 60000 samples,' but Table 3 lists CIFAR10 training size as 50000; please reconcile these numbers.
- [Table 13] The DPO results are reported without error bars or an explicit statement of the number of seeds, despite Section 5 saying that 'unless stated otherwise, all reported metrics are averaged over 5 seeds'; please clarify whether the DPO runs are single-seed.
- [Figure 4] The caption says the figure shows 'the loss and multiplier values' for UTKFace samples, but the figure appears to display only images; please describe how the loss and multiplier values are visualized.
- [Title page and acknowledgements] There are minor typos ('Correspondance', 'Pennislvania'); please proofread.
- [§2.1] The sentence 'Once a constraint is strictly satisfied, the dual updates reduce the corresponding multiplier' is slightly imprecise, since the reduction happens in the gradient-ascent update only if the constraint remains satisfied; consider rewording for precision.
Circularity Check
No fitted constant is disguised as a prediction; FL's training-loss tail is bounded by its constraint set by definition, while the headline test-set tail comparisons are independent empirical claims that are not circular (though internally contradicted on CIFAR10, a correctness issue).
-
self definitional
[Section 2, Eq. (FL(epsilon)); Section 5.3, Q3]
"FL considers an optimization problem with a trivial, constant objective while enforcing a loss constraint for each training sample: min_{theta in Theta} 0 s.t g(theta) <= epsilon, (FL(epsilon)) ... We observe that FL produces a more concentrated loss distribution across (training and test) samples, resulting in fewer instances with excessively high losses (Section 5.3)."
The FL(epsilon) problem is defined by per-sample constraints g(theta) <= epsilon, so any feasible solution has training losses individually bounded by epsilon. Reporting that FL produces a 'more concentrated' training-loss distribution, or fewer very high training losses, is therefore a restatement of the constraint set rather than an empirical consequence derived from independent principles. This is only a minor definitional element, however: the paper's substantive tail claims are the held-out test CDF/CVaR comparisons, which are not implied by the training constraint, and the nonconvex primal-dual solver does not guarantee feasibility, so the training-side observation is not the whole result.
full rationale
The paper's derivation chain is mostly self-contained: FL is a feasibility problem, its Lagrangian dual is written down, GDA updates are derived, and RFL is shown by Propositions 1-2 to be algebraically equivalent to a quadratically-regularized Lagrangian and to a clamped-and-squared ERM objective. These equivalences are direct manipulations, not circular reductions. No fitted parameter is renamed as a prediction: the Lagrange multipliers are optimized dual variables, and the tail-behavior claims are empirical comparisons on held-out test sets, which are not forced by the optimization problem's definition. The self-citations (Sohrabi et al. 2024, Hounie et al. 2024, Gallego-Posada et al. 2022) appear as background or as optional algorithmic suggestions and are not load-bearing for the central equivalence or the main experiments; no uniqueness theorem from the authors' prior work is imported to force a choice. The only definitional element is that feasible FL solutions have bounded per-sample training loss, which makes the training-side concentration claim partly by construction; this is minor because the central empirical content involves test-set generalization and cross-task comparisons. The paper's own CIFAR10 results contradict the universal tail claim (Appendix C.1 reports better CDF/CVaR curves for ERM in both train and test), but that is an internal-evidence and correctness problem, not a circularity problem.
Assumptions & free parameters
free parameters (3)
- epsilon (per-sample loss threshold) =
0, 0.51, 0.02, 0.15, etc. per task
- alpha (RFL slack penalty) =
1 to 1e-4 per task
- dual step size eta_lambda =
1e-4 to 1e-1 per task
assumptions (3)
- standard math Saddle-point existence theorem (Hiriart-Urruty and Lemarechal, Theorem 4.3.1) for min-max interchange in Proposition 1
- domain assumption Convexity in u and concavity in lambda of the RFL Lagrangian
- domain assumption Differentiability of surrogate loss g_i(theta)
Cite this review
Pith. "Pith review of Feasible Learning." pith.science (2026). https://pith.science/paper/RF4XXKDA
@misc{pith2026250114912,
author = {Pith},
title = {Pith review of: Feasible Learning},
year = {2026},
howpublished = {\url{https://pith.science/paper/RF4XXKDA}},
note = {Machine review of arXiv:2501.14912}
}
read the original abstract
We introduce Feasible Learning (FL), a sample-centric learning paradigm where models are trained by solving a feasibility problem that bounds the loss for each training sample. In contrast to the ubiquitous Empirical Risk Minimization (ERM) framework, which optimizes for average performance, FL demands satisfactory performance on every individual data point. Since any model that meets the prescribed performance threshold is a valid FL solution, the choice of optimization algorithm and its dynamics play a crucial role in shaping the properties of the resulting solutions. In particular, we study a primal-dual approach which dynamically re-weights the importance of each sample during training. To address the challenge of setting a meaningful threshold in practice, we introduce a relaxation of FL that incorporates slack variables of minimal norm. Our empirical analysis, spanning image classification, age regression, and preference optimization in large language models, demonstrates that models trained via FL can learn from data while displaying improved tail behavior compared to ERM, with only a marginal impact on average performance.
Figures
Figures from the paper (6 more)
Forward citations
Cited by 1 Pith paper
-
Every Sample Counts: Supervised Fine-Tuning of Language Models with Pointwise Constraints
Pointwise constrained fine-tuning via sample-wise augmented Lagrangians and learned relaxations reduces tail constraint violations across safety, tool-calling, and re-ranking while preserving average task performance.
Reference graph
Works this paper leans on
-
[1]
write newline
" write newline "" before.all 'output.state := FUNCTION n.dashify 't := "" t empty not t #1 #1 substring "-" = t #1 #2 substring "--" = not "--" * t #2 global.max substring 't := t #1 #1 substring "-" = "-" * t #2 global.max substring 't := while if t #1 #1 substring * t #2 global.max substring 't := if while FUNCTION format.date year duplicate empty "emp...
-
[2]
A Closer Look at Memorization in Deep Networks
Devansh Arpit, Stanis aw Jastrz e bski, Nicolas Ballas, David Krueger, Emmanuel Bengio, Maxinder S Kanwal, Tegan Maharaj, Asja Fischer, Aaron Courville, Yoshua Bengio, et al. A Closer Look at Memorization in Deep Networks . In ICML, 2017
work page 2017
- [3]
-
[4]
Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications
Vineeth Balasubramanian, Shen-Shyang Ho, and Vladimir Vovk. Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications . Newnes, 2014
work page 2014
-
[5]
Improving Image Generation with Better Captions
James Betker, Gabriel Goh, Li Jing, Tim Brooks, Jianfeng Wang, Linjie Li, Long Ouyang, Juntang Zhuang, Joyce Lee, Yufei Guo, et al. Improving Image Generation with Better Captions . https://cdn.openai.com/papers/dall-e-3. pdf, 2023
work page 2023
-
[6]
Convergence Rates in Forward--Backward Splitting
George HG Chen and R Tyrrell Rockafellar. Convergence Rates in Forward--Backward Splitting . SIAM Journal on Optimization, 1997
work page 1997
-
[7]
Andrew Cotter, Heinrich Jiang, Maya R Gupta, Serena Wang, Taman Narayan, Seungil You, and Karthik Sridharan. Optimization with Non-Differentiable Constraints with Applications to Fairness, Recall, Churn, and Other Goals . JMLR, 2019
work page 2019
-
[8]
An Algorithm for Quadratic Programming
Marguerite Frank and Philip Wolfe. An Algorithm for Quadratic Programming . Naval Research Logistics Quarterly, 1956
work page 1956
Show all 42 references
-
[9]
Controlled Sparsity via Constrained Optimization or: How I Learned to Stop Tuning Penalties and Love Constraints
Jose Gallego-Posada, Juan Ramirez, Akram Erraqabi, Yoshua Bengio, and Simon Lacoste-Julien. Controlled Sparsity via Constrained Optimization or: How I Learned to Stop Tuning Penalties and Love Constraints . In NeurIPS, 2022
2022
-
[10]
Cooper: A Library for Constrained Optimization in Deep Learning
Jose Gallego-Posada, Juan Ramirez, Meraj Hashemizadeh, and Simon Lacoste-Julien. Cooper: A Library for Constrained Optimization in Deep Learning . https://github.com/cooper-org/cooper, 2024
2024
-
[11]
Convex Programming in Hilbert Space
Alan A Goldstein. Convex Programming in Hilbert Space . University of Washington, 1964
1964
-
[12]
Shampoo: Preconditioned Stochastic Tensor Optimization
Vineet Gupta, Tomer Koren, and Yoram Singer. Shampoo: Preconditioned Stochastic Tensor Optimization . In ICML, 2018
2018
-
[13]
Deep Residual Learning for Image Recognition
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. Deep Residual Learning for Image Recognition . In CVPR, 2016
2016
-
[14]
Resilient Constrained Learning
Ignacio Hounie, Alejandro Ribeiro, and Luiz FO Chamon. Resilient Constrained Learning . In NeurIPS, 2024
2024
-
[15]
E. T. Jaynes. Information Theory and Statistical Mechanics . Physical Review, 1957
1957
-
[16]
Adam: A Method for Stochastic Optimization
Diederik Kingma and Jimmy Ba. Adam: A Method for Stochastic Optimization . In ICLR, 2015
2015
-
[17]
Learning Multiple Layers of Features from Tiny Images
Alex Krizhevsky. Learning Multiple Layers of Features from Tiny Images . Technical report, University of Toronto, Toronto, Ontario, 2009
2009
-
[18]
Lahoti, A
P. Lahoti, A. Beutel, J. Chen, K. Lee, F. Prost, N. Thain, X. Wang, and E. Chi. Fairness Without Demographics Through Adversarially Reweighted Learning . In NeurIPS, 2020
2020
-
[19]
On Gradient Descent Ascent for Nonconvex-Concave Minimax Problems
Tianyi Lin, Chi Jin, and Michael Jordan. On Gradient Descent Ascent for Nonconvex-Concave Minimax Problems . In ICML, 2020
2020
-
[20]
The Llama 3 Herd of Models
AI @ Meta Llama Team. The Llama 3 Herd of Models . arXiv preprint arXiv:2407.21783, 2024
2024 arXiv
-
[21]
Towards Deep Learning Models Resistant to Adversarial Attacks
Aleksander M a dry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu. Towards Deep Learning Models Resistant to Adversarial Attacks . arXiv preprint arXiv:1706.06083, 2017
2017 arXiv
- [22]
-
[23]
PyTorch: An Imperative Style, High-Performance Deep Learning Library
Adam Paszke et al. PyTorch: An Imperative Style, High-Performance Deep Learning Library . In NeurIPS , 2019
2019
-
[24]
Direct Preference Optimization: Your Language Model is Secretly a Reward Model
Rafael Rafailov, Archit Sharma, Eric Mitchell, Christopher D Manning, Stefano Ermon, and Chelsea Finn. Direct Preference Optimization: Your Language Model is Secretly a Reward Model . In NeurIPS, 2024
2024
-
[25]
Zhang, Simon Lacoste-Julien, and Jose Gallego-Posada
Motahareh Sohrabi, Juan Ramirez, Tianyue H. Zhang, Simon Lacoste-Julien, and Jose Gallego-Posada. On PI Controllers for Updating Lagrange Multipliers in Constrained Optimization . In ICML, 2024
2024
-
[26]
The Implicit Bias of Gradient Descent on Separable Data
Daniel Soudry, Elad Hoffer, Mor Shpigel Nacson, Suriya Gunasekar, and Nathan Srebro. The Implicit Bias of Gradient Descent on Separable Data . JMLR, 2018
2018
-
[27]
Responsive Safety in Reinforcement Learning by PID Lagrangian Methods
Adam Stooke, Joshua Achiam, and Pieter Abbeel. Responsive Safety in Reinforcement Learning by PID Lagrangian Methods . In ICML, 2020
2020
-
[28]
Neyman-pearson classification: parametrics and sample size requirement
Xin Tong, Lucy Xia, Jiacheng Wang, and Yang Feng. Neyman-pearson classification: parametrics and sample size requirement. JMLR, 2020
2020
-
[29]
V. Vapnik. Principles of Risk Minimization for Learning Theory . In NeurIPS, 1991
1991
-
[30]
Statistical Learning Theory
Vladimir Naumovich Vapnik. Statistical Learning Theory . John Wiley & Sons, 1998
1998
-
[31]
Understanding Deep Learning Requires Rethinking Generalization
Chiyuan Zhang, Samy Bengio, Moritz Hardt, Benjamin Recht, and Oriol Vinyals. Understanding Deep Learning Requires Rethinking Generalization . In ICLR, 2017 a
2017
-
[32]
Near-optimal Local Convergence of Alternating Gradient Descent-Ascent for Minimax Optimization
Guodong Zhang, Yuanhao Wang, Laurent Lessard, and Roger B Grosse. Near-optimal Local Convergence of Alternating Gradient Descent-Ascent for Minimax Optimization . In AISTATS, 2022
2022
-
[33]
Age Progression/Regression by Conditional Adversarial Autoencoder
Zhifei Zhang, Yang Song, and Hairong Qi. Age Progression/Regression by Conditional Adversarial Autoencoder . In CVPR, 2017 b
2017
-
[34]
Convex Optimization
Stephen Boyd and Lieven Vandenberghe. Convex Optimization . Cambridge university press, 2004
2004
-
[35]
Rank Analysis of Incomplete Block Designs: I
Ralph Allan Bradley and Milton E Terry. Rank Analysis of Incomplete Block Designs: I. The Method of Paired Comparisons . Biometrika, 1952
1952
-
[36]
QLoRA: Efficient Finetuning of Quantized LLMs
Tim Dettmers, Artidoro Pagnoni, Ari Holtzman, and Luke Zettlemoyer. QLoRA: Efficient Finetuning of Quantized LLMs . In NeurIPS, 2024
2024
-
[37]
Convex Analysis and Minimization Algorithms I: Fundamentals
Jean-Baptiste Hiriart-Urruty and Claude Lemar \'e chal. Convex Analysis and Minimization Algorithms I: Fundamentals . Springer science & business media, 1996
1996
-
[38]
LoRA: Low-Rank Adaptation of Large Language Models
Edward J Hu, Yelong Shen, Phillip Wallis, Zeyuan Allen-Zhu, Yuanzhi Li, Shean Wang, Lu Wang, and Weizhu Chen. LoRA: Low-Rank Adaptation of Large Language Models . In ICLR, 2022
2022
-
[39]
A Survey of Reinforcement Learning from Human Feedback
Timo Kaufmann, Paul Weng, Viktor Bengs, and Eyke H \"u llermeier. A Survey of Reinforcement Learning from Human Feedback . arXiv preprint arXiv:2312.14925, 2023
2023
-
[40]
Orca: Progressive Learning from Complex Explanation Traces of GPT-4
Subhabrata Mukherjee, Arindam Mitra, Ganesh Jawahar, Sahaj Agarwal, Hamid Palangi, and Ahmed Awadallah. Orca: Progressive Learning from Complex Explanation Traces of GPT-4 . arXiv preprint arXiv:2306.02707, 2023
2023 arXiv
-
[41]
Operator Splitting for a Homogeneous Embedding of the Linear Complementarity Problem
Brendan O'Donoghue. Operator Splitting for a Homogeneous Embedding of the Linear Complementarity Problem . SIAM Journal on Optimization , August 2021
2021
-
[42]
Training language models to follow instructions with human feedback
Long Ouyang, Jeffrey Wu, Xu Jiang, Diogo Almeida, Carroll Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, et al. Training language models to follow instructions with human feedback . In NeurIPS, 2022
2022
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.