Vol-3310⫷ Vol-3311 ⫸Vol-3312
urn:nbn:de:0074-3311-0


Vol-3311/paper1⫷Vol-3311/paper2⫸Vol-3311/paper3
Mark ChevallierMatthew WhyteJacques D. Fleuriot

Constrained Training of Neural Networks via Theorem Proving