{"total":20,"rows":[{"id":"2305.11391","title":"A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation","created":"2023-05-19","cited_by_count":93,"area":null},{"id":"2405.21063","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","created":"2024-05-31","cited_by_count":47,"area":null},{"id":"2210.07394","title":"Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation","created":"2022-10-13","cited_by_count":45,"area":null},{"id":"2203.06414","title":"A Survey of Adversarial Defences and Robustness in NLP","created":"2022-03-12","cited_by_count":23,"area":null},{"id":"2203.03153","title":"Scalable Verification of GNN-based Job Schedulers","created":"2022-03-07","cited_by_count":19,"area":null},{"id":"2206.03669","title":"Toward Certified Robustness Against Real-World Distribution Shifts","created":"2022-06-08","cited_by_count":16,"area":null},{"id":"2201.00768","title":"Robust Natural Language Processing: Recent Advances, Challenges, and Future Directions","created":"2022-01-03","cited_by_count":11,"area":null},{"id":"2201.13351","title":"LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions","created":"2022-01-31","cited_by_count":10,"area":null},{"id":"2210.16140","title":"Localized Randomized Smoothing for Collective Robustness Certification","created":"2022-10-28","cited_by_count":10,"area":null},{"id":"2106.09117","title":"DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting","created":"2021-06-16","cited_by_count":8,"area":null},{"id":"2301.12100","title":"Reachability Analysis of Neural Network Control Systems","created":"2023-01-28","cited_by_count":8,"area":null},{"id":"2208.07669","title":"On Optimizing Back-Substitution Methods for Neural Network Verification","created":"2022-08-16","cited_by_count":6,"area":null},{"id":"2209.05446","title":"Boosting Robustness Verification of Semantic Feature Neighborhoods","created":"2022-09-12","cited_by_count":4,"area":null},{"id":"2211.09810","title":"Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone","created":"2022-11-13","cited_by_count":1,"area":null},{"id":"2310.20299","title":"Verification of Neural Networks Local Differential Classification Privacy","created":"2023-10-31","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":"2511.11699","title":"Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification","created":"2025-11-12","cited_by_count":0,"area":null},{"id":"2603.25273","title":"Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis","created":"2026-03-26","cited_by_count":0,"area":null},{"id":"2606.12490","title":"Robustness Verification of Recurrent Neural Networks with Abstraction Refinement","created":"2026-06-10","cited_by_count":0,"area":null},{"id":"2606.20292","title":"Shifting-based Optimizable Linear Relaxations for General Activation Functions","created":"2026-06-18","cited_by_count":0,"area":null}],"next_cursor":null}