Tags

keep hungry keep foolish
生活

他TM到底谈了啥

如果你没看过《当我谈跑步时我谈些什么》的话。。。

寒假看的那些片

聊聊窝在家看的一些片子

Introduction To Latex

Latex的基础实用操作

他山之石，可以攻玉

收集一些精辟的解读

Welcome to Hux Blog

"Hello World, Hello Blog"

Jekyll

GitPage教程

如何搭建你自己的GitPages？

ML

近期关于对抗样本Paper的综述

重新认识Adversarial Example

关于Safe DL的一些论文及想法

算是对自己挣扎半年多的一个梳理吧。

关于DNN可信方面的综述

论文解读

对于训练数据可验证的鲁棒性的训练方法

论文解读

CNN的可解释性

论文解读

Algorithm

Kick Start中比较有意思的题(下)

。。。好的ACMer。

Kick Start中比较有意思的题(上)

不想进Google的程序员不是。。。

智能家居系统命令存在的问题及解决办法

一点实际的应用

算法导论笔记（下）

持续更新。。。

算法导论笔记（上）

持续更新。。。

RL

关于Safe DL的一些论文及想法

算是对自己挣扎半年多的一个梳理吧。

Some naive thoughts on reinforcement learning

Mainly about Reward

关于强化学习的形式化验证

论文解读

形式化

LTL2Buchi

Based《On the Relationship between LTL Normal Forms and Buchi Automata》

基于Maude验证CCSL的相关性质

论文的复现与拓展

Java

Java并发源码中的“巅峰”

AbstractQueuedSynchronizer, CAS