research
∙
07/17/2023
Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs
Biomedical datasets are often modeled as knowledge graphs (KGs) because ...
share
research
∙
02/14/2023
Neurosymbolic AI for Reasoning on Graph Structures: A Survey
Neurosymbolic AI is an increasingly active area of research which aims t...
research
∙
07/08/2022
Constrained Training of Neural Networks via Theorem Proving
We introduce a theorem proving approach to the specification and generat...
research
∙
08/08/2021
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL
Special Relativity is a cornerstone of modern physical theory. While a s...
research
∙
06/17/2021
Interpretable Machine Learning Classifiers for Brain Tumour Survival Prediction
Prediction of survival in patients diagnosed with a brain tumour is chal...
research
∙
11/16/2019
