activity
20182023
most citedInjecting Logical Constraints into Neural Networks via Straight-Through Estimators

4 citations · 6 across the 4 of their papers we have counts for

collaborators

4 papers