The DeepLEVER project has started!

The ANITI research chair of Joao Marques-Silva, DeepLEVER, is launched.

DeepLEVER aims at explaining and verifying machine learning systems via combinatorial optimization in general and SAT in particular. Ph.D positions and Postdoc positions are open to join the team lead by Joao Marques-Silva and composed of Martin Cooper and Emmanuel Hebrard.