Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

On Neural Network Equivalence Checking using SMT Solvers

Charis Eleftheriadis , Nikolaos Kekatos , Panagiotis Katsaros , Stavros Tripakis

   Access Paper or Ask Questions

Explaining Outcomes of Multi-Party Dialogues using Causal Learning

Priyanka Sinha , Pabitra Mitra , Antonio Anastasio Bruto da Costa , Nikolaos Kekatos

   Access Paper or Ask Questions