Episode 18: A Fireside Chat with Prof. Pascal Hitzler

We are very excited to say that this week, Dr. Darbari is joined by Prof. Pascal Hitzler to discuss machine learning and formal methods. Prof. Hitzler is one of the rare experts in the world who works in the exciting field of neuro-symbolic learning and the semantic web. We gain insights into what makes machine learning click, what neural network-based deep learning is missing, and how rule-based reasoning grounded in formal methods can help.

Om Podcasten

Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.