{"total":16,"rows":[{"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":"2408.00117","title":"Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods","created":"2024-07-31","cited_by_count":4,"area":null},{"id":"2303.07203","title":"On the Robustness of Text Vectorizers","created":"2023-03-09","cited_by_count":2,"area":null},{"id":"2408.10491","title":"Achieving the Tightest Relaxation of Sigmoids for Formal Verification","created":"2024-08-20","cited_by_count":2,"area":null},{"id":"2605.10974","title":"Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization","created":"2026-05-08","cited_by_count":2,"area":null},{"id":"2609.34457","title":"ZonoGPT: Towards An Abstract Domain for Verifying Large GPT Models","created":"2026-09-28","cited_by_count":1,"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":"2410.23362","title":"Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations","created":"2024-10-30","cited_by_count":0,"area":null},{"id":"2505.12767","title":"Language Models That Walk the Talk: A Framework for Formal Fairness Certificates","created":"2025-05-19","cited_by_count":0,"area":null},{"id":"2509.23806","title":"Influence-Guided Concolic Testing of Transformer Robustness","created":"2025-09-28","cited_by_count":0,"area":null},{"id":"2511.07293","title":"Formal Reasoning About Confidence and Automated Verification of Neural Networks","created":"2025-11-10","cited_by_count":0,"area":null},{"id":"2603.23878","title":"The Luna Bound Propagator for Formal Analysis of Neural Networks","created":"2026-03-25","cited_by_count":0,"area":null},{"id":"2604.14209","title":"Towards Verified and Targeted Explanations through Formal Methods","created":"2026-04-05","cited_by_count":0,"area":null},{"id":"2605.14294","title":"Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement","created":"2026-05-14","cited_by_count":0,"area":null},{"id":"2605.30155","title":"Neural Network Verification using Partial Multi-Neuron Relaxation","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2607.28954","title":"Mining Verdict Boundaries for Neural Network Verification","created":"2026-07-31","cited_by_count":0,"area":null}],"next_cursor":null}