Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement.

Hengjie Liu, Zhenya Zhang, Jianjun Zhao

Browse the full CAV paper archive.