Natalia Slusarz

13 papers B 3Journal 7Unranked 3

Year	Rank	Type	Title / 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