Natalia Slusarz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk). | Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi |
| 2024 | ICLP | A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks. | Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta |
| 2024 | ITP | Taming Differentiable Logics with Coq Formalisation. | Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark |
| 2023 | CAV | The Vehicle Tutorial: Neural Network Verification with Vehicle. | Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee |
| 2023 | LPAR | Logic of Differentiable Logics: Towards a Uniform Semantics of DL. | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark |
| 2022 | CAV | Differentiable Logics for Neural Network Training and Verification. | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart |