선형 이완 기반 바운드 전파
신경망의 비선형 활성화 함수를 선형 함수로 근사하여 출력의 상한과 하한을 계산하는 기술이다. 모델의 강건성을 효율적으로 계산하고 증명하는 데 핵심적인 역할을 한다.
AI 모델의 안전성을 수학적으로 증명하는 TorchLean 프레임워크