Can We Trust Theorem Provers for Industrial AI?

There are three technologies a modern AI-aware software engineer needs to know: data mining, theorem proving, and nonlinear optimization (also called search-based SE). While much of the current industrial AI activity is focused on data mining, these other technologies are starting to achieve prominence. Optimization technology is discussed in the editorial “A Watershed Moment for Search-Based Soft...