Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart 0001. Differentiable Logics for Neural Network Training and Verification. In Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi, editors, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Volume 13466 of Lecture Notes in Computer Science, pages 67-77, Springer, 2022. [doi]
Abstract is missing.