I am hiring a PhD & postdoc to work together with me at KTH on probabilistic machine learning. Both positions are fully funded and part of WASP. I will be attending @euripsconf.bsky.social, if you are around and want to talk about the positions or what we do at KTH, then ping me and we can meet.

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

AI Is a Mass-Delusion Event

Three years in, one of AI’s enduring impacts is to make people feel like they’re losing it.

theatlantic.com

📣 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

Robert Peharz@ropeharz.bsky.social · last yr.

Many thanks for the best paper award for our Deep Polynomial Chaos Expansion (DeepPCE), received from the #UAI workshop #tractable #probabilistic #modeling #TPM! Many congrats to the team, especially leading author Johannes Exenberger! The workshop paper: arxiv.org/abs/2507.21273

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...

integrals! fun! *bark*

uai2026@auai.org · last yr.

poster session going strong 💪

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

uai2026@auai.org · last yr.

time to educate the #UAI2025 crowd on "Hyperparameter Optimization and Algorithm Selection: Practical Techniques, Theory, and New Frontiers" by Dravyansh Sharma (TTIC)

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!

antonio vergari ⚔️ short-circuiting@nolovedeeplearning.bsky.social · last yr.

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/

www.theguardian.com/commentisfre...

Tech oligarchs are gambling our future on a fantasy | Adam Becker

Musk and Bezos are the heirs to a quasi-religious belief in tech salvation. The rest of us are stuck in the real world

theguardian.com

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...

Towards Probabilistic Verification of ML models via Weighted Model Integration

Towards Probabilistic Verification of ML models via Weighted Model Integration

cs.ox.ac.uk

Not the kind of work culture that I would promote

uai2026@auai.org · last yr.

we know that weekends are to rest and relax 🛌... but there is that annoying experiment that needs to be absolutely re-run! 🏃‍♂️💨 good luck to everyone doing the final push for #UAI2025 💪🤞

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