Picture for Pei Huang

Pei Huang

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Add code
Jan 25, 2024
Figure 1 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 2 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Figure 3 for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Viaarxiv icon

Towards Efficient Verification of Quantized Neural Networks

Add code
Dec 27, 2023
Viaarxiv icon

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement

Add code
Mar 21, 2022
Figure 1 for A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
Figure 2 for A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
Figure 3 for A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
Figure 4 for A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement
Viaarxiv icon

Quantifying Robustness to Adversarial Word Substitutions

Add code
Jan 11, 2022
Figure 1 for Quantifying Robustness to Adversarial Word Substitutions
Figure 2 for Quantifying Robustness to Adversarial Word Substitutions
Figure 3 for Quantifying Robustness to Adversarial Word Substitutions
Figure 4 for Quantifying Robustness to Adversarial Word Substitutions
Viaarxiv icon

Can Graph Neural Networks Learn to Solve MaxSAT Problem?

Add code
Nov 15, 2021
Figure 1 for Can Graph Neural Networks Learn to Solve MaxSAT Problem?
Figure 2 for Can Graph Neural Networks Learn to Solve MaxSAT Problem?
Figure 3 for Can Graph Neural Networks Learn to Solve MaxSAT Problem?
Figure 4 for Can Graph Neural Networks Learn to Solve MaxSAT Problem?
Viaarxiv icon

ε-weakened Robustness of Deep Neural Networks

Add code
Oct 29, 2021
Figure 1 for ε-weakened Robustness of Deep Neural Networks
Figure 2 for ε-weakened Robustness of Deep Neural Networks
Figure 3 for ε-weakened Robustness of Deep Neural Networks
Figure 4 for ε-weakened Robustness of Deep Neural Networks
Viaarxiv icon

Securing a UAV Using Individual Characteristics From an EEG Signal

Add code
Apr 15, 2017
Figure 1 for Securing a UAV Using Individual Characteristics From an EEG Signal
Figure 2 for Securing a UAV Using Individual Characteristics From an EEG Signal
Figure 3 for Securing a UAV Using Individual Characteristics From an EEG Signal
Figure 4 for Securing a UAV Using Individual Characteristics From an EEG Signal
Viaarxiv icon