Faithful and Sound Reasoning on Knowledge Graphs

A video explanation (where I originally found the paper): https://www.youtube.com/watch?v=LOF6fvV5XUc