Technology Comes First

记录了我 2019.9-2020.1 在浙江大学上的《程序设计方法学》这门课的知识点。

记录了我对 Improving Certified Robustness via Statistical Learning with Logical Reasoning 的论文解读。