Artificial Intelligence, machine learning, neural networks verification, QBF competition, Quantified Boolean Formulas, Software Engineering.