lipschitz-bound
함수의 변화율을 제한하는 수학적 조건으로, 딥러닝에서는 모델의 안정성을 위해 가중치의 변화 폭을 일정 수준 이하로 억제하는 데 활용된다.
Z3와 Lean 4로 검증하는 AI 가중치 업데이트의 안전성