‪Natalia Ślusarz‬ - ‪Google 학술 검색‬

내 프로필 만들기

인용

	전체	2019년 이후
서지정보	11	11
h-index	2	2
i10-index	0	0

0

6

3

2022202320242 5 4

공개 액세스

자료 1개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKhw.ac.uk의 이메일 확인됨
Matthew L. DaggittLecturer, University of Western Australiauwa.edu.au의 이메일 확인됨
Robert StewartAssociate Professor, Heriot Watt Universityhw.ac.uk의 이메일 확인됨

Natalia Ślusarz

Natalia Ślusarz

PhD student, Heriot-Watt University

hw.ac.uk의 이메일 확인됨

neural network verification machine learning differentiable logic AI


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–3