74 citations · 132 across the 14 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…