Presentations
Templates
Features
Teams
Pricing
Log in
Sign up
Log in
Sign up
Menu
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
Code
By namasikanam TA
Made with Slides.com
Code
1
namasikanam TA
More from
namasikanam TA