Samy Badreddine
@sbadredd.bsky.social
Research Scientist @ Sony AI, PhD Student @ UniTrento,FBK
Neurosymbolic AI, Generative Modeling
https://sbadredd.github.io/
Neurosymbolic AI, Generative Modeling
https://sbadredd.github.io/
Reposted by Samy Badreddine
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.
🏆Rodrigo de Salvo Braz was here to accept the award.
This is groundwork for recent NeSy approaches like DeepSeaProbLog and the probabilistic algebraic layer.
September 9, 2025 at 9:11 PM
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.
🏆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
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
September 9, 2025 at 11:46 AM
🎉 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
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!
If you are around and want to chat about these topics, let's meet for coffee!
June 12, 2025 at 10:08 AM
☀️ 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!
If you are around and want to chat about these topics, let's meet for coffee!
Reposted by Samy Badreddine
We propose Neurosymbolic Diffusion Models! We find diffusion is especially compelling for neurosymbolic approaches, combining powerful multimodal understanding with symbolic reasoning 🚀
Read more 👇
Read more 👇
May 21, 2025 at 10:57 AM
We propose Neurosymbolic Diffusion Models! We find diffusion is especially compelling for neurosymbolic approaches, combining powerful multimodal understanding with symbolic reasoning 🚀
Read more 👇
Read more 👇
Reposted by Samy Badreddine
🗓️ 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 🙏
We are looking forward to your works on:
🔌 #circuits and #tensor #networks 🕸️
⏳ normalizing #flows 💨
⚖️ scaling #NeSy #AI 🦕
🚅 fast and #reliable inference 🔍
...& more!
please share 🙏
May 24, 2025 at 12:13 PM
Reposted by Samy Badreddine
🔔 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
🙌 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
Integration of Logical Constraints in Deep Learning
| Journal of Artificial Intelligence Research
www.jair.org
December 16, 2024 at 10:48 AM
🔔 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
🙌 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