‪Natalia Ślusarz‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	11	11
h-index	2	2
i10-index	0	0

0

6

3

2022202320242 5 4

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKVerified email at hw.ac.uk
Matthew L. DaggittLecturer, University of Western AustraliaVerified email at uwa.edu.au
Robert StewartAssociate Professor, Heriot Watt UniversityVerified email at hw.ac.uk

Natalia Ślusarz

Natalia Ślusarz

PhD student, Heriot-Watt University

Verified email at hw.ac.uk

neural network verification machine learning differentiable logic AI


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	8	2023
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	3	2022
Taming Differentiable Logics with Coq Formalisation R Affeldt, A Bruni, E Komendantskaya, N Ślusarz, K Stark arXiv preprint arXiv:2403.13700, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–3