research
∙
03/22/2022
On Neural Network Equivalence Checking using SMT Solvers
Two pretrained neural networks are deemed equivalent if they yield simil...
share
research
∙
05/03/2021
Explaining Outcomes of Multi-Party Dialogues using Causal Learning
Multi-party dialogues are common in enterprise social media on technical...
research
∙
12/31/2020
Verifying a Cruise Control System using Simulink and SpaceEx
This article aims to provide a simple step-by-step guide highlighting th...
research
∙
12/30/2020
