{"total":18,"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":"2205.02894","title":"Interactive Model Cards: A Human-Centered Approach to Model Documentation","created":"2022-05-05","cited_by_count":61,"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":"2302.01757","title":"RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion","created":"2023-01-31","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":"2406.19230","title":"Spiking Convolutional Neural Networks for Text Classification","created":"2024-06-27","cited_by_count":10,"area":null},{"id":"2210.08906","title":"A.I. Robustness: a Human-Centered Perspective on Technological Challenges and Opportunities","created":"2022-10-17","cited_by_count":9,"area":null},{"id":"2305.04003","title":"ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification","created":"2023-05-06","cited_by_count":6,"area":null},{"id":"2301.11824","title":"PECAN: A Deterministic Certified Defense Against Backdoor Attacks","created":"2023-01-27","cited_by_count":5,"area":null},{"id":"2112.05235","title":"The Fundamental Limits of Interval Arithmetic for Neural Networks","created":"2021-12-09","cited_by_count":4,"area":null},{"id":"2302.06086","title":"Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects","created":"2023-02-13","cited_by_count":3,"area":null},{"id":"2403.03773","title":"Verified Training for Counterfactual Explanation Robustness under Data Shift","created":"2024-03-06","cited_by_count":2,"area":null},{"id":"2205.07811","title":"Natural Language Specifications in Proof Assistants","created":"2022-05-16","cited_by_count":1,"area":null},{"id":"2405.17361","title":"A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness","created":"2024-05-27","cited_by_count":1,"area":null},{"id":"2507.10330","title":"Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach","created":"2025-07-14","cited_by_count":1,"area":null},{"id":"2206.14575","title":"Why Robust Natural Language Understanding is a Challenge","created":"2022-06-21","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.13439","title":"S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP","created":"2026-06-11","cited_by_count":0,"area":null}],"next_cursor":null}