Search Results for author:
Found 1 papers, 1 papers with code
Using SMT Solvers to Validate Models for AI Problems
The advantage of using an SMT solver for AI model checking is that they substitute actual search strategies and they work over an abstract representation of the model, that is, a set of logical formulas.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
