{"total":14,"rows":[{"id":"2212.01051","title":"VeriX: Towards Verified Explainability of Deep Neural Networks","created":"2022-12-02","cited_by_count":30,"area":null},{"id":"2207.01398","title":"Large-scale Robustness Analysis of Video Action Recognition Models","created":"2022-07-04","cited_by_count":29,"area":null},{"id":"2302.14309","title":"Temporal Coherent Test-Time Optimization for Robust Video Classification","created":"2023-02-28","cited_by_count":15,"area":null},{"id":"2306.03048","title":"From Robustness to Explainability and Back Again","created":"2023-06-05","cited_by_count":14,"area":null},{"id":"2103.07950","title":"Software Architecture for ML-based Systems: What Exists and What Lies Ahead","created":"2021-03-14","cited_by_count":13,"area":null},{"id":"2108.07961","title":"Verifying Low-dimensional Input Neural Networks via Input Quantization","created":"2021-08-18","cited_by_count":7,"area":null},{"id":"2309.11196","title":"When to Trust AI: Advances and Challenges for Certification of Neural Networks","created":"2023-09-20","cited_by_count":6,"area":null},{"id":"2104.12418","title":"Fast Falsification of Neural Networks using Property Directed Testing","created":"2021-04-26","cited_by_count":2,"area":null},{"id":"2305.16998","title":"A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation","created":"2023-05-26","cited_by_count":2,"area":null},{"id":"2511.19100","title":"Extracting Robust Register Automata from Neural Networks over Data Sequences","created":"2025-11-24","cited_by_count":1,"area":null},{"id":"2211.11186","title":"DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation","created":"2022-11-21","cited_by_count":0,"area":null},{"id":"2401.05338","title":"STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers","created":"2023-11-28","cited_by_count":0,"area":null},{"id":"2606.09746","title":"Hybrid Robustness Verification for Spatio-Temporal Neural Networks","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2609.30050","title":"NNV3: Expanding Neural Network Verification to New Architectures and Domains","created":"2026-09-24","cited_by_count":0,"area":null}],"next_cursor":null}