ExAIS: Executable AI Semantics
Richard Schumi Jun Sun
Singapore Management University
ICSE'22
Semantics
Applications
Test Case Generation
Model Validation
Tensorflow in Prolog
Background
Prolog
Tensorflow
Made with Slides.com