Add a NeurIPS 2020 paper

[shizhouxing]

This is a general framework for robustness verification and certified training. There are also experiments on training text classifiers that are certifiably robust to word substitutions.

[Fanchao-Qi]

Thanks for your contribution.