Work

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

Year: 2025

Type: conference-paper

Source: IEEE International Conference on Acoustics Speech and Signal Processing

DOI: 10.1109/icassp49660.2025.10890133

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

Institutions: Beijing University of Posts and Telecommunications, China Mobile (China)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4408355756

FWCI:

Cites: 17

Cited by:

Related to: 10