找人讨论

今天又恢复参加talk听科研的阶段了。

挺有意思的，听jingyi和sun老板说了一整天，对于AI Verification 有了一些了解。

基本就是

1. 用program analysis 的方法for smart contract

2. 用neuron coverage 的方法for testing neural network

3. Testing - adversarial attack (add impercetible noice noise) detection - imperceptible noise (using pnorm and threshold it)

4. Verification - condition under a constraint will yield same output

5. Mutation - change network (ensure 90% accuracy)and change image