Blog

Life Recording

Safety Verification

Paper List

Paper Collection for Robustness and Safety Verification Reachability ExactReach: Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations, 2017 ...

Posted by Yanghao ZHANG on July 6, 2020

MSc Project

(Adaptive) GCN + Attention

https://arxiv.org/abs/1605.05273 Idea 归一化的拉普拉斯矩阵：$L=I_N - D^{-\frac{1}{2}}AD^{-\frac{1}{2}} = U\Lambda U^T$ 傅立叶卷积： $g_\theta\star x = Ug_\theta U^Tx$. Graph Convolutionn Networks 用截断的切比雪夫多...

Posted by Yanghao ZHANG on June 14, 2019

Probabilistic Binary Neural Networks

Reproducibility Challenge

https://arxiv.org/abs/1809.03368 Introduction This paper is proposed by Jorn W.T. Peters and Max Welling in 2019 on ICLR 2019 (rejected). This blog will review the paper and reproduce some e...

Posted by Yanghao ZHANG on May 5, 2019

Semi-Supervised Classification with Graph Convolutional Networks

Literuture Review

https://arxiv.org/abs/1609.02907 Introduction This paper is proposed by Kipf, Thomas N., and Max Welling. in 2017 on ICLR. This blog will review the paper and reproduce some experiments. [c...

Posted by Yanghao ZHANG on April 19, 2019

Learning Convolutional Neural Networks for Graphs

Literuture Review

https://arxiv.org/abs/1605.05273 Introduction This paper is proposed by Niepert, Mathias, Mohamed Ahmed, and Konstantin Kutzkov in 2016 on ICML. This blog will review the paper and reproduc...

Posted by Yanghao ZHANG on April 18, 2019

把我的博客添加到iPhone上

PWA on IOS devices

1. 打开Sarifi 2. 输入网址: yanghaozhang.com 3. 点击底部按钮 4. 添加到主屏幕 5. 完成！

Posted by Yanghao ZHANG on April 9, 2019