Natalia Slusarz

According to our database, Natalia Slusarz authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Taming Differentiable Logics with Coq Formalisation.

Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark

CoRR, 2024

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya

CoRR, 2024

2023

Logic of Differentiable Logics: Towards a Uniform Semantics of DL.

Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Differentiable Logics for Neural Network Training and Verification.

Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022