1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LG2024
SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
Xingjian Zhou, Keyi Shen, Andy Xu +4
Neural network (NN) verification aims to formally verify properties of NNs, which is crucial for ensuring the behavior of NN-based models in safety-critical applications. In recent…
cs.CL2019★ 1 cited
Robustness to Modification with Shared Words in Paraphrase Identification
Zhouxing Shi, Minlie Huang
Revealing the robustness issues of natural language processing models and improving their robustness is important to their performance under difficult situations. In this paper, we…