Zhenbang Chen

Kullback-Leibler Divergence-Based Out-of-Distribution Detection with Flow-Based Generative Models

2020 · arXiv (Cornell University)

Recent research has revealed that deep generative models including flow-based models and Variational Autoencoders may assign higher likelihoods to out-of-distribution (OOD) data than in-distribution (ID) data. However, we cannot sample OOD data from the model. …

Verification of message-passing uninterpreted programs

2024 · Science of Computer Programming

Message-passing programs involve several processes with channel-based communications to deal with tasks concurrently. The complex computations and communications between processes make the verification of message-passing programs hard. By regarding the functions in programs as uninterpreted …