research
∙
07/08/2022
Constrained Training of Neural Networks via Theorem Proving
We introduce a theorem proving approach to the specification and generat...
research
∙
12/11/2021