13 citations · 33 across the 9 of their papers we have counts for
4 papers · 1 filter
Neuro-Symbolic Verification of Deep Neural Networks
Xuan Xie, Kristian Kersting, Daniel Neider
Formal verification has emerged as a powerful approach to ensure the safety and reliability of deep neural networks. However, current verification tools are limited to only a handf…
Uncertainty-Aware Signal Temporal Logic Inference
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider +2
Temporal logic inference is the process of extracting formal descriptions of system behaviors from data in the form of temporal logic formulas. The existing temporal logic inferenc…
Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis
Daniel Neider, Bishwamittra Ghosh
We propose a novel approach to understanding the decision making of complex machine learning models (e.g., deep neural networks) using a combination of probably approximately corre…
A Formal Language Approach to Explaining RNNs
Bishwamittra Ghosh, Daniel Neider
This paper presents LEXR, a framework for explaining the decision making of recurrent neural networks (RNNs) using a formal description language called Linear Temporal Logic (LTL).…