{"total":14,"rows":[{"id":"2206.03393","title":"Towards Understanding and Mitigating Audio Adversarial Examples for Speaker Recognition","created":"2022-06-07","cited_by_count":23,"area":null},{"id":"2111.10481","title":"PatchCensor: Patch Robustness Certification for Transformers via Exhaustive Testing","created":"2021-11-19","cited_by_count":12,"area":null},{"id":"2212.11138","title":"QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks","created":"2022-12-10","cited_by_count":12,"area":null},{"id":"2206.03351","title":"AS2T: Arbitrary Source-To-Target Adversarial Attack on Speaker Recognition Systems","created":"2022-06-07","cited_by_count":10,"area":null},{"id":"2212.02781","title":"QEBVerif: Quantization Error Bound Verification of Neural Networks","created":"2022-12-06","cited_by_count":9,"area":null},{"id":"2110.15764","title":"{\\epsilon}-weakened Robustness of Deep Neural Networks","created":"2021-10-29","cited_by_count":8,"area":null},{"id":"2109.01766","title":"SEC4SR: A Security Analysis Platform for Speaker Recognition","created":"2021-09-04","cited_by_count":3,"area":null},{"id":"2110.08042","title":"Adversarial Attacks on ML Defense Models Competition","created":"2021-10-15","cited_by_count":3,"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":"2412.13229","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","created":"2024-12-17","cited_by_count":1,"area":null},{"id":"2112.13060","title":"Fight Perturbations with Perturbations: Defending Adversarial Attacks via Neuron Influence","created":"2021-12-24","cited_by_count":0,"area":null},{"id":"2307.15907","title":"An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks","created":"2023-07-29","cited_by_count":0,"area":null},{"id":"2507.21483","title":"NCCR: to Evaluate the Robustness of Neural Networks and Adversarial Examples","created":"2025-07-29","cited_by_count":0,"area":null},{"id":"2601.00270","title":"Rectifying Adversarial Examples Using Their Vulnerabilities","created":"2026-01-01","cited_by_count":0,"area":null}],"next_cursor":null}