13 citations · 17 across the 4 of their papers we have counts for
1 paper · 1 filter
Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt +2
Differentiable logics (DL) have recently been proposed as a method of training neural networks to satisfy logical specifications. A DL consists of a syntax in which specifications…