We're glad to announce the NeSy 2025 Test of Time award for "Probabilistic Inference Modulo Theories"!

🏆Rodrigo de Salvo Braz was here to accept the award.

This is groundwork for recent NeSy approaches like DeepSeaProbLog and the probabilistic algebraic layer.

🎉 Check out our IJCAI'25 paper on Explainable link prediction in KGs 🔗✨
We use a path-based RL model to generate explanations for predictions. We do so by rewarding path properties that make good explanations 〰️

Great work led by Susana Nunes & @catiapesquita.bsky.social 👏
👉 arxiv.org/pdf/2509.02276

☀️ I will be in Edinburgh this summer (Jun-Aug) at @edinburgh-uni.bsky.social, visiting the group of Antonio Vergari (@nolovedeeplearning.bsky.social) to work on #neurosymbolic #AI and #probabilistic #ML

If you are around and want to chat about these topics, let's meet for coffee!

We propose Neurosymbolic Diffusion Models! We find diffusion is especially compelling for neurosymbolic approaches, combining powerful multimodal understanding with symbolic reasoning 🚀

Read more 👇

🗓️ Deadline extended: 💥2nd June 2025!💥

We are looking forward to your works on:

🔌 #circuits and #tensor #networks 🕸️
⏳ normalizing #flows 💨
⚖️ scaling #NeSy #AI 🦕
🚅 fast and #reliable inference 🔍
...& more!

please share 🙏

🔔 Are you working on informed-ML, Neuro-symbolic AI or ML verification?

🙌 Our special track on the Journal of Artificial Intelligence Research (JAIR) about "Integration of Logical Constraints in Deep Learning" is the right venue for you! 🙌

CfP: www.jair.org/index.php/ja...
Deadline: May 31, 2025

Great idea! Interested to join too :)