Login / Signup
Nat Karmios
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Databases
Connectionist Models
Symbolic Data
Neural Learning
Top Venues
DEBT@SIGMOD
</>
Publications
</>
Nat Karmios
,
Sacha-Élie Ayoun
,
Philippa Gardner
Symbolic Debugging with Gillian.
DEBT@SIGMOD
(2023)