3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)
Alistair Sirman, Fleur Conway, Jessica Ciupa +7
Neural network controllers for autonomous decision-making are well-established in cyber-physical systems, yet their deployment in safety-critical healthcare settings remains largel…
cs.PL2025
Proof-Carrying Neuro-Symbolic Code
Ekaterina Komendantskaya
This invited paper introduces the concept of "proof-carrying neuro-symbolic code" and explains its meaning and value, from both the "neural" and the "symbolic" perspectives. The ta…
cs.CV2024★ 3 cited
A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks
Parth Padalkar, Natalia Ślusarz, Ekaterina Komendantskaya +1
Recent efforts in interpreting Convolutional Neural Networks (CNNs) focus on translating the activation of CNN filters into a stratified Answer Set Program (ASP) rule-sets. The CNN…