[짧은 글] Veriflow: Modeling distributions for neural network verification

Zaid, Faried Abu, Daniel Neider, and Mustafa Yalçıner. "Veriflow: Modeling distributions for neural network verification." Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 40. No. 33. 2026.

 

VeriFlow: Modeling Distributions for Neural Network Verification | Proceedings of the AAAI Conference on Artificial Intelligence

VeriFlow: Modeling Distributions for Neural Network Verification | Proceedings of the AAAI Conference on Artificial Intel

 

 

요약:

모델의 안전성과 신뢰성을 검증하기 위해 사용하는 verification 방법들이 현실에 존재하지 않는 광범위한 영역을 본다는 것을 문제로 보고, flow-based density model을 사용해 유효한 입력 구간을 보도록 제약하는 방법이다. 핵심은 원래 입력 분포를 latent space로 변환했을 때 upper density level sets(UDL)을 선형 제약으로 표현할 수 있게 만들어, verification이 데이터분포상 충분히 그럴듯한 영역 안에서 이루어지도록 하는 방법이다.

 

더 깊게 읽을까?

이미 깊게 읽는 중이다. verification을 하는 건 아니지만, 입력 분포를 근사하고 그 근처로 제약하는 것이 지금 진행 중인 연구의 핵심 아이디어와 유사하다.