2 citations · 5 across the 6 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023★ 1 cited
Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs
Lauren Nicole DeLong, Ramon Fernández Mir, Zonglin Ji +2
Biomedical datasets are often modeled as knowledge graphs (KGs) because they capture the multi-relational, heterogeneous, and dynamic natures of biomedical systems. KG completion (…
cs.AI2022★ 1 cited
Constrained Training of Neural Networks via Theorem Proving
Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
We introduce a theorem proving approach to the specification and generation of temporal logical constraints for training neural networks. We formalise a deep embedding of linear te…