57 citations · 144 across the 48 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021★ 5 cited
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Xidan Song, Edoardo Manino, Luiz Sena +5
QNNVerifier is the first open-source tool for verifying implementations of neural networks that takes into account the finite word-length (i.e. quantization) of their operands. The…
cs.AI2017★ 2 cited
Counterexample Guided Inductive Optimization
Rodrigo F. Araujo, Higo F. Albuquerque, Iury V. de Bessa +2
This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO r…