Liu, H., Zhang, Z., & Zhao, J. (2026). Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement.
Chicago-Zitierstil (17. Ausg.)Liu, Hengjie, Zhenya Zhang, und Jianjun Zhao. Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement. 2026.
MLA-Zitierstil (9. Ausg.)Liu, Hengjie, et al. Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.