SOCRATES: Towards a Unified Platform for Neural Network Analysis

v1v2 (latest)

SOCRATES: Towards a Unified Platform for Neural Network Analysis

22 July 2020

Jun Sun

ArXiv (abs)PDF HTML

Papers citing "SOCRATES: Towards a Unified Platform for Neural Network Analysis"

7 / 7 papers shown

Title
Certified Continual Learning for Neural Network Regression Long H. Pham Jun Sun 119 2 0 09 Jul 2024
Semantic-Based Neural Network Repair Richard Schumi Jun Sun AAML KELM 55 4 0 12 Jun 2023
Repairing Deep Neural Networks Based on Behavior Imitation Zhen Liang Taoran Wu Changyuan Zhao Wanwei Liu Bai Xue Wenjing Yang Jing Wang AAML 107 5 0 05 May 2023
Verifying Neural Networks Against Backdoor Attacks Long H. Pham Jun Sun AAML 66 5 0 14 May 2022
Causality-based Neural Network Repair Bing-Jie Sun Jun Sun Hong Long Pham Jie Shi 69 87 0 20 Apr 2022
Probabilistic Verification of Neural Networks Against Group Fairness Bing-Jie Sun Jun Sun Ting Dai Lijun Zhang AAML 30 25 0 18 Jul 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 61 32 0 26 May 2021