TY  - RPRT
TI  - Formalization of Optimality Conditions for Smooth Constrained Optimization Problems
AU  - Chenyi Li
AU  - Shengyang Xu
AU  - Chumin Sun
AU  - Li Zhou
AU  - Zaiwen Wen
PY  - 2025
UR  - https://arxiv.org/abs/2503.18821
ID  - 2503.18821
ER  -