Spy Inside: Scalable Verification of Dependable Transformers for Event Time Series Systems.

Haodong Deng, Qi Qi, Lu Lu, Zirui Zhuang, Xingyu Zeng, Jinguang Wang, Bo He, Wei Li, Jingyu Wang

Browse the full ICASSP paper archive.