{"total":35,"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":"2105.03640","title":"On Guaranteed Optimal Robust Explanations for NLP Models","created":"2021-05-08","cited_by_count":54,"area":null},{"id":"2307.16630","title":"Text-CRS: A Generalized Certified Robustness Framework against Textual Adversarial Attacks","created":"2023-07-31","cited_by_count":34,"area":null},{"id":"2104.02466","title":"A Review of Formal Methods applied to Machine Learning","created":"2021-04-06","cited_by_count":33,"area":null},{"id":"2106.01202","title":"Framing RNN as a kernel method: A neural ODE approach","created":"2021-06-02","cited_by_count":23,"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":"2102.07818","title":"Certified Robustness to Programmable Transformations in LSTMs","created":"2021-02-15","cited_by_count":18,"area":null},{"id":"2107.08362","title":"Probabilistic Verification of Neural Networks Against Group Fairness","created":"2021-07-18","cited_by_count":17,"area":null},{"id":"2403.10144","title":"NLP Verification: Towards a General Methodology for Certifying Robustness","created":"2024-03-15","cited_by_count":16,"area":null},{"id":"2111.13557","title":"On Recurrent Neural Networks for learning-based control: recent results and ideas for future developments","created":"2021-11-26","cited_by_count":14,"area":null},{"id":"2106.15850","title":"Exploring Robust Architectures for Deep Artificial Neural Networks","created":"2021-06-30","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":"2302.05892","title":"TextDefense: Adversarial Text Detection based on Word Importance Entropy","created":"2023-02-12","cited_by_count":9,"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":"2302.02023","title":"TextShield: Beyond Successfully Detecting Adversarial Sentences in Text Classification","created":"2023-02-03","cited_by_count":8,"area":null},{"id":"2305.10773","title":"Rate-Adaptive Coding Mechanism for Semantic Communications With Multi-Modal Data","created":"2023-05-18","cited_by_count":6,"area":null},{"id":"2102.01208","title":"Fast Training of Provably Robust Neural Networks by SingleProp","created":"2021-02-01","cited_by_count":5,"area":null},{"id":"2305.03365","title":"Repairing Deep Neural Networks Based on Behavior Imitation","created":"2023-05-05","cited_by_count":4,"area":null},{"id":"2307.09375","title":"CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space","created":"2023-07-18","cited_by_count":4,"area":null},{"id":"2508.09320","title":"Exact Verification of Graph Neural Networks with Incremental Constraint Solving","created":"2025-08-12","cited_by_count":4,"area":null},{"id":"2105.00996","title":"Robust Learning of Recurrent Neural Networks in Presence of Exogenous Noise","created":"2021-05-03","cited_by_count":3,"area":null},{"id":"2203.05403","title":"Robustness Analysis of Classification Using Recurrent Neural Networks with Perturbed Sequential Input","created":"2022-03-10","cited_by_count":2,"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":"2304.00813","title":"Model-Agnostic Reachability Analysis on Deep Neural Networks","created":"2023-04-03","cited_by_count":1,"area":null},{"id":"2304.07980","title":"RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks","created":"2023-04-17","cited_by_count":1,"area":null},{"id":"2107.00507","title":"Machine Learning and Deep Learning for Fixed-Text Keystroke Dynamics","created":"2021-07-01","cited_by_count":0,"area":null},{"id":"2107.07409","title":"Machine Learning-Based Analysis of Free-Text Keystroke Dynamics","created":"2021-07-01","cited_by_count":0,"area":null},{"id":"2203.00295","title":"A Domain-Theoretic Framework for Robustness Analysis of Neural Networks","created":"2022-03-01","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":"2406.00699","title":"Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation","created":"2024-06-02","cited_by_count":0,"area":null},{"id":"2503.02512","title":"LTL Verification of Memoryful Neural Agents","created":"2025-03-04","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":"2605.14758","title":"Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning","created":"2026-05-14","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}],"next_cursor":null}