Sort by
Refine Your Search
-
Employer
-
Field
-
research interests encompass a broad range of topics, including discrete mathematics, finite model theory, and the complexity of logical systems, as well as the foundations of AI, explainability, and answer
-
Learning Lab. The successful deployment of statistical models and AI solutions relies heavily on the quality of underlying model assumptions and the learning algorithms they employ. The design of loss
Searches related to model checking
Enter an email to receive alerts for model-checking positions