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.

Hello. I wrote a nice long essay about AI and this very strange moment where we're constantly told we're living in the dawn of a strange new future but the only thing that's actually clear is that everyone feels pretty unmoored and uncertain. I hope you'll read it

📣 Please share: We invite submissions to the 29th International Conference on Artificial Intelligence and Statistics (#AISTATS 2026) and welcome paper submissions at the intersection of AI, machine learning, statistics, and related areas. [1/3]

I think this is neat

and to @leanderk.bsky.social @paolomorettin.bsky.social Roberto Sebastiani, @andreapasserini.bsky.social @nolovedeeplearning.bsky.social for the ✨Best Student Paper Runner Up Award✨ for "A Probabilistic Neurosymbolic Layer for Algebraic Constraint Satisfaction" 👉 openreview.net/forum?id=9Uk...

Still not as bad as Microsoft Teams

integrals! fun! *bark*

and "Counterfactuals in Minds and Machines" by ‪@tobigerstenberg.bsky.social‬ (Stanford), ‪@autreche.bsky.social‬ (MPI SS) and ‪@stratiss.bsky.social‬ (MPI SS)

EurIPS is coming! 📣 Mark your calendar for Dec. 2-7, 2025 in Copenhagen 📅 EurIPS is a community-organized conference where you can present accepted NeurIPS 2025 papers, endorsed by @neuripsconf.bsky.social and @nordicair.bsky.social and is co-developed by @ellis.eu eurips.cc

"in 2025 we will have flying cars" 😂😂😂

Stop Destroying Videogames | European Citizens' Initiative citizens-initiative.europa.eu/initiatives/...

Just under 10 days left to submit your latest endeavours in #tractable probabilistic models! Join us at TPM @auai.org #UAI2025 and show how to build #neurosymbolic / #probabilistic AI that is both fast and trustworthy!

If you are curious about how to make ML models more #robust and #reliable (while enjoying the great weather of Brazil), consider submitting your ongoing (or recently accepted) work to TPM!

the #TPM ⚡Tractable Probabilistic Modeling ⚡Workshop is back at @auai.org #UAI2025! Submit your works on: - fast and #reliable inference - #circuits and #tensor #networks - normalizing #flows - scaling #NeSy #AI ...& more! 🕓 deadline: 23/05/25 👉 tractable-probabilistic-modeling.github.io/tpm2025/

❗️Deadline extended 18 April❗️ Working on Human-AI interaction and trustworthy AI? Consider submitting your ongoing work to our workshop tcai2025.isti.cnr.it @hhaiconference.bsky.social Co-hosted by Apoorva Singh, Bruno Lepri, @burcusayin.bsky.social and Roberto Pellungrini in Pisa. #AI #HHAI

We (I, Matthew Barthet, Roberto Gallotta, Antonios Liapis, @togelius.bsky.social, Georgios Yannakakis) would like to announce the Procedural Content Generation Benchmark (PCG Benchmark). The PCG Benchmark allows users working in PCG research to test their algorithms against a variety of games.

reading this *right after* submitting my UAI reviews

🔥 Can AI reason over time while following logical rules in relational domains? We will present Relational Neurosymbolic Markov Models (NeSy-MMs) next week at #AAAI2025! 🎉 📜 Paper: arxiv.org/pdf/2412.13023 💻 Code: github.com/ML-KULeuven/... 🧵⬇️

I am at @realaaai.bsky.social #AAAI25 in sunny #Philadelphia 🌞 reach out if you want to grab coffee and chat about #probabilistic #ML #AI #nesy #neurosymbolic #tensor #lowrank models! check out our tutorial 👉 april-tools.github.io/aaai25-tf-pc... and workshop 👉 april-tools.github.io/colorai/

I'll be in Oxford for a couple of weeks starting next Monday. If you're around and you want to have a chat (and/or a pint) let me know! Also, I'll be presenting my work on February 27th at the Verification Seminars. More info here: www.cs.ox.ac.uk/seminars/273...

Not the kind of work culture that I would promote

Amazing opportunity for #Neurosymbolic folks! 🚨🚨🚨 We are looking for a Tenure Track Prof for the 🇦🇹 #FWF Cluster of Excellence Bilateral AI (think #NeSy ++) www.bilateral-ai.net A nice starting pack for fully funded PhDs is included. jobs.tugraz.at/en/jobs/226f...

🔔 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

📣 Does your model learn high-quality #concepts, or does it learn a #shortcut? Test it with our #NeurIPS2024 dataset & benchmark track paper! rsbench: A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts What's the deal with rsbench? 🧵

by @ema-ridopoco.bsky.social @looselycorrect.bsky.social @andreapasserini.bsky.social @samubortolotti.bsky.social eg 👉 proceedings.neurips.cc/paper_files/... 👉 openreview.net/forum?id=pDc... 👉 unitn-sml.github.io/rsbench/

Is anyone familiar with efficient tools/libraries for over/under-approximating of the volume of convex polytopes (in H-representation)?

@ropeharz.bsky.social forced me to do this starter pack on #tractable #probabilistic modeling and #reasoning in #AI and #ML please write below if you want to be added (and sorry if I did not find you from the beginning). go.bsky.app/DhVNyz5

For those who don’t know yet, I am organising an online talk series together with Arno Solin on “Advances in Probabilistic Machine Learning (APML)”. It’s free for everyone to join and support early career researchers! You can register and check out the schedule here: aaltoml.github.io/apml/

Hey, looking forward to having fruitful scientific interactions here! Anyway, this might sound naive, but I don't think that this feed can get worse than *that*.