Talks
Invited talks, tutorials, and guest lectures.
Invited Talk — Oct 2025
Constraining Deep Generative Models with Neurosymbolic Approach
AI/ML Seminar at UVA
Guest Lecture — Sep 2025
Neurosymbolic Learning and Reasoning for Trustworthy AI
CS6190 at UVA
Invited Talk — Aug 2024
Neurosymbolic Learning and Reasoning for Trustworthy AI
Seminar on Artificial Intelligence and Logics (SNAIL) at University of São Paulo
Invited Talk — Oct 2023
Weighted Model Integration
Probabilistic Circuits and Logic Workshop at Simons Institute, UC Berkeley
Lightning Talk — Jul 2023
Learning and Probabilistic Inference under constraints in AI/ML
Invited Talk — Nov 2021
Tractable Computation of Expected Kernels by Circuits
Microsoft Research, New England
Invited Talk — Apr 2021
Tractable Computation of Expected Kernels by Circuits
Yahoo! Research Seminar
Invited Talk — Apr 2021
Tractable Computation of Expected Kernels by Circuits
Talk — Dec 2020
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations
NeurIPS
Talk — Sep 2020
Relax, Compensate and then Integrate
DeCoDeML Workshop at ECML-PKDD 2020
Talk — Jul 2020
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
ICML
Talk — Aug 2019
Efficient search-based weighted model integration
Talk — Jun 2019
Efficient search-based weighted model integration
KR2ML Workshop at NeurIPS 2019
