Published April 28, 2026 | Version 1.0
Conference paper Open

Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement

Authors/Creators

  • 1. ROR icon Kyushu University

Files

cav26-buffet-artifact.zip

Files (5.3 GB)

Name Size
md5:4933cdd0e1841e314ac6daa258f1605e
5.3 GB Preview Download
md5:ec8c87b4e130a2bced87f9b6e5a2e36c
72.1 kB Preview Download

Additional details

Software

Programming language
Python , Shell , Dockerfile