Natalia Slusarz

13 papers B 3Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Foundation for Differentiable Logics using Dependent Type Theory.
CoRR
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2025 B conf
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk).
FSCD
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi
2024 J jnl
A Neurosymbolic Framework for Bias Correction in CNNs.
CoRR
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024 — conf
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks.
ICLP Workshops
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024 J jnl
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks.
Theory Pract. Log. Program.
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
2024 B conf
Taming Differentiable Logics with Coq Formalisation.
ITP
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2024 J jnl
Taming Differentiable Logics with Coq Formalisation.
CoRR
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2024 J jnl
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
2023 B conf
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
LPAR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023 J jnl
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
CoRR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023 — conf
The Vehicle Tutorial: Neural Network Verification with Vehicle.
FoMLAS@CAV
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
2022 — conf
Differentiable Logics for Neural Network Training and Verification.
NSV/FoMLAS@CAV
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
2022 J jnl
Differentiable Logics for Neural Network Training and Verification.
CoRR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart