2 citations · 3 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2022★ 1 cited
On Neural Network Equivalence Checking using SMT Solvers
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros +1
Two pretrained neural networks are deemed equivalent if they yield similar outputs for the same inputs. Equivalence checking of neural networks is of great importance, due to its u…
cs.AI2021★ 2 cited
Explaining Outcomes of Multi-Party Dialogues using Causal Learning
Priyanka Sinha, Pabitra Mitra, Antonio Anastasio Bruto da Costa +1
Multi-party dialogues are common in enterprise social media on technical as well as non-technical topics. The outcome of a conversation may be positive or negative. It is important…