Samy Badreddine's Avatar

Samy Badreddine

@sbadredd.bsky.social

Research Scientist @ Sony AI, PhD Student @ UniTrento,FBK Neurosymbolic AI, Generative Modeling https://sbadredd.github.io/

423 Followers  |  150 Following  |  3 Posts  |  Joined: 18.11.2024  |  1.7056

Latest posts by sbadredd.bsky.social on Bluesky

Post image Post image Post image

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.

09.09.2025 21:11 β€” πŸ‘ 5    πŸ” 5    πŸ’¬ 1    πŸ“Œ 0
Explanation between Vincristine and Hematologic Cancer from Hetionet dataset

Explanation between Vincristine and Hematologic Cancer from Hetionet dataset

πŸŽ‰ 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

09.09.2025 11:46 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

β˜€οΈ 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!

12.06.2025 10:08 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 0    πŸ“Œ 2
Video thumbnail

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

Read more πŸ‘‡

21.05.2025 10:57 β€” πŸ‘ 92    πŸ” 27    πŸ’¬ 4    πŸ“Œ 6

πŸ—“οΈ 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 πŸ™

24.05.2025 12:13 β€” πŸ‘ 19    πŸ” 12    πŸ’¬ 0    πŸ“Œ 1
Integration of Logical Constraints in Deep Learning | Journal of Artificial Intelligence Research

πŸ”” 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

16.12.2024 10:48 β€” πŸ‘ 25    πŸ” 12    πŸ’¬ 3    πŸ“Œ 0

Great idea! Interested to join too :)

22.11.2024 10:27 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@sbadredd is following 20 prominent accounts