Machine Reasoning
Research
We innovate neural networks reaching symbolic-level logical reasoning and inheriting features of traditional networks, to guarantee the explainability and the reliability in real applications, while preserving their power of prediction.
Teaching
- From Machine Learning to Machine Reasoning (part of the Foundation AI series)
Professional Activities
- Co-organiser. NeurMAD@AAAI'25 Workshop -- Neural Reasoning and Mathematical Discovery – An Interdisciplinary Two-Way Street.
Publications
- Tiansi Dong, Mateja Jamnik, Pietro Liò (2025). Neural Reasoning for Sure Through Constructing Explainable Models. AAAI.
