82 citations · 369 across the 63 of their papers we have counts for
3 papers · 1 filter
Embedding Symbolic Knowledge into Deep Networks
Yaqi Xie, Ziwei Xu, Mohan S. Kankanhalli +2
In this work, we aim to leverage prior symbolic knowledge to improve the performance of deep models. We propose a graph embedding network that projects propositional formulae (and…
Phase Transition Behavior of Cardinality and XOR Constraints
Yash Pote, Saurabh Joshi, Kuldeep S. Meel
The runtime performance of modern SAT solvers is deeply connected to the phase transition behavior of CNF formulas. While CNF solving has witnessed significant runtime improvement…
Quantitative Verification of Neural Networks And its Security Applications
Teodora Baluta, Shiqi Shen, Shweta Shinde +2
Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior w…