Login / Signup
Natalia Slusarz
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Propositional Dynamic Logic
Valued Semantics
Sound And Complete With Respect
Neural Network Training
Top Venues
CoRR
LPAR
NSV/FoMLAS@CAV
</>
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)
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)