research
∙
09/20/2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks
Artificial intelligence (AI) has been advancing at a fast pace and it is...
share
research
∙
05/05/2023
On Preimage Approximation for Neural Networks
Neural network verification mainly focuses on local robustness propertie...
research
∙
06/27/2022
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages
Recurrent Neural Networks (RNNs) have achieved tremendous success in seq...
research
∙
01/07/2022
Spatial-Temporal Sequential Hypergraph Network for Crime Prediction
Crime prediction is crucial for public safety and resource optimization,...
research
∙
10/08/2021
Traffic Flow Forecasting with Spatial-Temporal Graph Diffusion Network
Accurate forecasting of citywide traffic flow has been playing critical ...
research
∙
10/08/2021
Knowledge-Enhanced Hierarchical Graph Transformer Network for Multi-Behavior Recommendation
Accurate user and item embedding learning is crucial for modern recommen...
research
∙
06/08/2020
Global Robustness Verification Networks
The wide deployment of deep neural networks, though achieving great succ...
research
∙
04/24/2020