2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Dyuman Aditya, Kaustuv Mukherji, Srikar Balasubramanian +2
The growing popularity of neuro symbolic reasoning has led to the adoption of various forms of differentiable (i.e., fuzzy) first order logic. We introduce PyReason, a software fra…