1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Hengjie Liu, Zhenya Zhang, Jianjun Zhao
Formal verification of transformers has become increasingly important due to their widespread deployment in safety-critical applications. Compared to classic neural networks, the i…