Haodong Deng

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

Event time series appear in many software scenarios and are a necessary data type in data analytics systems. Transformers are the preferred type of sequential neural network for advanced analytics on event time series, particularly due to their significant contributions to the recent surge of large…