EasyChair Smart SlideUser guide
Author: Nina Narodytska

This page shows all presentations of this author published in EasyChair Smart Slide.

Formal Verification of Deep Neural Networks

Formal Verification of Deep Neural Networks

Nina Narodytska

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner and Mooly Sagiv

A SAT-Based Approach to Learn Explainable Decision Sets

A SAT-Based Approach to Learn Explainable Decision Sets

Alexey Ignatiev, Filipe Pereira, Nina Narodytska and Joao Marques-Silva

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair