74 citations · 81 across the 4 of their papers we have counts for
1 paper · 1 filter
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh +2
Formal verification of neural networks is critical for their safe adoption in real-world applications. However, designing a precise and scalable verifier which can handle different…