Explore

Team

Meet the AISEC team, including both our core members and our external collaborators.

Software

Discover the software that we have have developed to improve the AI verification.

Publications

Explore our research papers that have come out of the AISEC project.

News

Talks

Professor Guy Katz: Verifying Recurrent Neural Networks using Invariant Inference

Professor Marco GaboardiFormal Verification of Higher-order Probabilistic Programs

See more AISEC talks
Free Joomla! templates by Engine Templates