Verification of ML Systems via Reparameterization.

Jean-Baptiste Tristan Joseph Tassarotti Koundinya Vajjha Michael L. Wick Anindya Banerjee

Published in: CoRR (2020)

Keyphrases

complex systems
asynchronous circuits
relational databases
data sets
artificial intelligence
information systems
intelligent systems
model checking
automated verification