Picture for Wen Kokke

Wen Kokke

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

Efficient compilation of expressive problem space specifications to neural network solvers

Add code
Jan 24, 2024
Viaarxiv icon

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

Add code
Jan 12, 2024
Viaarxiv icon

Why Robust Natural Language Understanding is a Challenge

Add code
Jun 21, 2022
Figure 1 for Why Robust Natural Language Understanding is a Challenge
Figure 2 for Why Robust Natural Language Understanding is a Challenge
Figure 3 for Why Robust Natural Language Understanding is a Challenge
Viaarxiv icon

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

Add code
Feb 10, 2022
Figure 1 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 2 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 3 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Figure 4 for Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Viaarxiv icon

Property-driven Training: All You Ever Wanted to Know About

Add code
Apr 03, 2021
Figure 1 for Property-driven Training: All You Ever Wanted to Know About
Figure 2 for Property-driven Training: All You Ever Wanted to Know About
Figure 3 for Property-driven Training: All You Ever Wanted to Know About
Figure 4 for Property-driven Training: All You Ever Wanted to Know About
Viaarxiv icon