EMNLPFeb, 2021

LSTMs 在可编程转换下的认证鲁棒性

TL;DR该论文提出了一种通过使用字符串转换语言来扩展鲁棒性证明的方法,成功地训练了比现有技术更鲁棒的模型,并且可以高精确度地证明模型的鲁棒性。