Picture for Haoze Wu

Haoze Wu

Proof-Driven Clause Learning in Neural Network Verification

Add code
Mar 15, 2025
Viaarxiv icon

Neural Network Verification is a Programming Language Challenge

Add code
Jan 10, 2025
Viaarxiv icon

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

Add code
Dec 28, 2024
Figure 1 for The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Figure 2 for The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Figure 3 for The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Figure 4 for The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
Viaarxiv icon

USM: Unbiased Survey Modeling for Limiting Negative User Experiences in Recommendation Systems

Add code
Dec 14, 2024
Viaarxiv icon

Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection

Add code
Sep 04, 2024
Figure 1 for Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection
Figure 2 for Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection
Figure 3 for Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection
Figure 4 for Better Verified Explanations with Applications to Incorrectness and Out-of-Distribution Detection
Viaarxiv icon

Safe and Reliable Training of Learning-Based Aerospace Controllers

Add code
Jul 09, 2024
Figure 1 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Figure 2 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Figure 3 for Safe and Reliable Training of Learning-Based Aerospace Controllers
Viaarxiv icon

GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory

Add code
Jun 18, 2024
Figure 1 for GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory
Figure 2 for GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory
Figure 3 for GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory
Figure 4 for GW-MoE: Resolving Uncertainty in MoE Router with Global Workspace Theory
Viaarxiv icon

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Add code
May 22, 2024
Viaarxiv icon

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
Figure 1 for Towards Efficient Verification of Quantized Neural Networks
Figure 2 for Towards Efficient Verification of Quantized Neural Networks
Figure 3 for Towards Efficient Verification of Quantized Neural Networks
Figure 4 for Towards Efficient Verification of Quantized Neural Networks
Viaarxiv icon