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