TY  - RPRT
TI  - Constrained Training of Neural Networks via Theorem Proving
AU  - Mark Chevallier
AU  - Matthew Whyte
AU  - Jacques D. Fleuriot
PY  - 2022
UR  - https://arxiv.org/abs/2207.03880
ID  - 2207.03880
ER  -