84 citations · 85 across the 3 of their papers we have counts for
5 papers
Logical Credal Networks
Haifeng Qian, Radu Marinescu, Alexander Gray +5
This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability. Given imprecise information…
An Ensemble Approach Towards Adversarial Robustness
Haifeng Qian
It is a known phenomenon that adversarial robustness comes at a cost to natural accuracy. To improve this trade-off, this paper proposes an ensemble approach that divides a complex…
Logical Neural Networks
Ryan Riegel, Alexander Gray, Francois Luus +12
We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a compon…
Neural Belief Reasoner
Haifeng Qian
This paper proposes a new generative model called neural belief reasoner (NBR). It differs from previous models in that it specifies a belief function rather than a probability dis…
L2-Nonexpansive Neural Networks
Haifeng Qian, Mark N. Wegman
This paper proposes a class of well-conditioned neural networks in which a unit amount of change in the inputs causes at most a unit amount of change in the outputs or any of the i…