Prati
Natalia Ślusarz
Natalia Ślusarz
PhD student, Heriot-Watt University
Potvrđena adresa e-pošte na hw.ac.uk
Naslov
Citirano
Citirano
Godina
Logic of differentiable logics: Towards a uniform semantics of DL
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart, K Stark
arXiv preprint arXiv:2303.10650, 2023
202023
Vehicle: Bridging the embedding gap in the verification of neuro-symbolic programs
ML Daggitt, W Kokke, R Atkey, N Slusarz, L Arnaboldi, ...
arXiv preprint arXiv:2401.06379, 2024
62024
The Vehicle Tutorial: Neural Network Verification with Vehicle.
ML Daggitt, W Kokke, E Komendantskaya, R Atkey, L Arnaboldi, ...
FoMLAS@ CAV, 1-5, 2023
62023
Taming differentiable logics with Coq formalisation
R Affeldt, A Bruni, E Komendantskaya, N Ślusarz, K Stark
arXiv preprint arXiv:2403.13700, 2024
42024
Differentiable logics for neural network training and verification
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart
International Workshop on Numerical Software Verification, 67-77, 2022
42022
A Neurosymbolic Framework for Bias Correction in CNNs
P Padalkar, N Ślusarz, E Komendantskaya, G Gupta
arXiv e-prints, arXiv: 2405.15886, 2024
22024
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
P Padalkar, N Ślusarz, E Komendantskaya, G Gupta
Theory and Practice of Logic Programming 24 (4), 644-662, 2024
12024
Formalisation of Differentiable Logics in Coq
N Ślusarz, R Affeldt, A Bruni
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024
12024
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–8