24 citations · 32 across the 13 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study
Mattia Medina Grespan, Ashim Gupta, Vivek Srikumar
Symbolic knowledge can provide crucial inductive bias for training neural models, especially in low data regimes. A successful strategy for incorporating such knowledge involves re…
cs.AI2019
A Logic-Driven Framework for Consistency of Neural Models
Tao Li, Vivek Gupta, Maitrey Mehta +1
While neural models show remarkable accuracy on individual predictions, their internal beliefs can be inconsistent across examples. In this paper, we formalize such inconsistency a…