Differentiable Logics for Neural Network Training and Verification
Authors: Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt and Robert Stewart
Paper Information
| Title: | Differentiable Logics for Neural Network Training and Verification |
| Authors: | Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt and Robert Stewart |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Neural Networks, Loss Functions, Differentiable Logic, Verification |
| Pages: | 12 |
| Talk: | Aug 01 12:00 (Session 31A) |
| Paper: |  |