This page shows all presentations of this author published in EasyChair Smart Slide.
A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Paul Tarau
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis