Initial Post Wed, Oct 20, 2021 This is an initial post to test the layout of this blog. I plan to make a series to introduce global optimization algorithms and robust verification techniques of deep neural networks in the future. So please come back later if you are interested.