Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
Fields of Study & Subjects
Advanced Electron Microscopy Techniques and Applications
Copper Interconnects and Reliability
Advanced Memory and Neural Computing
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 28 April 2026