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