Natalia Slusarz

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Neural Network Training

Valued Semantics

Decision Procedures

Top Venues

Publications

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. CoRR (2024)
Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
A Neurosymbolic Framework for Bias Correction in CNNs. CoRR (2024)
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
Taming Differentiable Logics with Coq Formalisation. CoRR (2024)
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. LPAR (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. CoRR (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
Differentiable Logics for Neural Network Training and Verification. CoRR (2022)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
Differentiable Logics for Neural Network Training and Verification. NSV/FoMLAS@CAV (2022)