PinnedSeunghyun ChaeinSW Verification & TestingWhat is Deep Neural Network Verification and Why is it Important?What is Deep Neural Network(DNN) verification? DNN verification is a process of verifying whether, for every possible input, the neural…Feb 9, 2021Feb 9, 2021

Seunghyun ChaeinSW Verification & TestingHow to install ERAN on Linux without sudoERAN (ETH Robustness Analyzer for Neural Networks) is a neural network analyzer based on abstract interpretation, that currently supports…Jan 28, 2021Jan 28, 2021

Seunghyun ChaeHow to use rsync on Git BashHere’s a guide on how to use rsync on Git Bash in Windows operating system.Jan 3, 20216Jan 3, 20216

Seunghyun ChaeinSW Verification & TestingInstalling Z3 Theorem Prover on MacOSZ3 Theorem Prover is one of the most-used satisfiability modulo theories (SMT) solver. Provided by Microsoft…Jul 30, 20201Jul 30, 20201