Picture for Taylor T. Johnson

Taylor T. Johnson

Formal Logic-guided Robust Federated Learning against Poisoning Attacks

Add code
Nov 05, 2024
Figure 1 for Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Figure 2 for Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Figure 3 for Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Figure 4 for Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Viaarxiv icon

FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning

Add code
Oct 30, 2024
Viaarxiv icon

Formal Logic Enabled Personalized Federated Learning Through Property Inference

Add code
Jan 24, 2024
Figure 1 for Formal Logic Enabled Personalized Federated Learning Through Property Inference
Figure 2 for Formal Logic Enabled Personalized Federated Learning Through Property Inference
Figure 3 for Formal Logic Enabled Personalized Federated Learning Through Property Inference
Figure 4 for Formal Logic Enabled Personalized Federated Learning Through Property Inference
Viaarxiv icon

The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Add code
Dec 28, 2023
Viaarxiv icon

Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes

Add code
Dec 27, 2023
Viaarxiv icon

SUDS: Sanitizing Universal and Dependent Steganography

Add code
Sep 23, 2023
Viaarxiv icon

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

Add code
Jan 14, 2023
Viaarxiv icon

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Add code
Dec 20, 2022
Viaarxiv icon

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

Add code
Jul 13, 2022
Figure 1 for Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Figure 2 for Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Figure 3 for Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Figure 4 for Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Viaarxiv icon

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles

Add code
May 03, 2022
Figure 1 for An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Figure 2 for An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Figure 3 for An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Figure 4 for An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Viaarxiv icon