Paolo Morettin
@paolomorettin.bsky.social
Probabilistic + logical + algebraic reasoning/learning
Assistant prof. @ University of Trento, Marie Skłodowska-Curie fellow
https://paolomorettin.github.io/
Assistant prof. @ University of Trento, Marie Skłodowska-Curie fellow
https://paolomorettin.github.io/
Reposted by Paolo Morettin
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.
Reposted by Paolo Morettin
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.
www.theatlantic.com
August 18, 2025 at 9:21 PM
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
Reposted by Paolo Morettin
📣 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]
August 12, 2025 at 11:46 AM
📣 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
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
The workshop paper:
arxiv.org/abs/2507.21273
July 30, 2025 at 12:47 PM
I think this is neat
Reposted by Paolo Morettin
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...
for the ✨Best Student Paper Runner Up Award✨ for
"A Probabilistic Neurosymbolic Layer for Algebraic Constraint Satisfaction"
👉 openreview.net/forum?id=9Uk...
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint...
In safety-critical applications, guaranteeing the satisfaction of constraints over continuous environments is crucial, e.g., an autonomous agent should never crash over obstacles or go off-road....
openreview.net
July 28, 2025 at 11:13 AM
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...
for the ✨Best Student Paper Runner Up Award✨ for
"A Probabilistic Neurosymbolic Layer for Algebraic Constraint Satisfaction"
👉 openreview.net/forum?id=9Uk...
Reposted by Paolo Morettin
Still not as bad as Microsoft Teams
Today in 1184 Henry VI of Germany was having a strategy meeting when the wooden second storey floor collapsed. Most of the courtiers fell through into the latrine cesspit below the ground floor, where more than 50 drowned in liquid excrement.
July 26, 2025 at 9:24 PM
Still not as bad as Microsoft Teams
integrals! fun! *bark*
July 23, 2025 at 11:35 AM
integrals! fun! *bark*
Reposted by Paolo Morettin
and
"Counterfactuals in Minds and Machines"
by @tobigerstenberg.bsky.social (Stanford), @autreche.bsky.social (MPI SS) and @stratiss.bsky.social (MPI SS)
"Counterfactuals in Minds and Machines"
by @tobigerstenberg.bsky.social (Stanford), @autreche.bsky.social (MPI SS) and @stratiss.bsky.social (MPI SS)
July 21, 2025 at 12:32 PM
and
"Counterfactuals in Minds and Machines"
by @tobigerstenberg.bsky.social (Stanford), @autreche.bsky.social (MPI SS) and @stratiss.bsky.social (MPI SS)
"Counterfactuals in Minds and Machines"
by @tobigerstenberg.bsky.social (Stanford), @autreche.bsky.social (MPI SS) and @stratiss.bsky.social (MPI SS)
Reposted by Paolo Morettin
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
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
July 16, 2025 at 10:01 PM
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
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
Reposted by Paolo Morettin
"in 2025 we will have flying cars" 😂😂😂
July 5, 2025 at 4:17 PM
"in 2025 we will have flying cars" 😂😂😂
Stop Destroying Videogames | European Citizens' Initiative citizens-initiative.europa.eu/initiatives/...
Initiative detail | European Citizens' Initiative
citizens-initiative.europa.eu
July 4, 2025 at 7:42 AM
Stop Destroying Videogames | European Citizens' Initiative citizens-initiative.europa.eu/initiatives/...
Reposted by Paolo Morettin
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!
Join us at TPM @auai.org #UAI2025 and show how to build #neurosymbolic / #probabilistic AI that is both fast and trustworthy!
May 14, 2025 at 5:48 PM
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!
Join us at TPM @auai.org #UAI2025 and show how to build #neurosymbolic / #probabilistic AI that is both fast and trustworthy!
Reposted by Paolo Morettin
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/
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/
April 16, 2025 at 8:40 AM
Reposted by Paolo Morettin
❗️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
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
TCAI2025
TCAI2025
tcai2025.isti.cnr.it
April 5, 2025 at 7:53 AM
❗️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
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
Reposted by Paolo Morettin
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.
The PCG Benchmark allows users working in PCG research to test their algorithms against a variety of games.
April 1, 2025 at 6:50 PM
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.
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
March 21, 2025 at 3:31 PM
reading this *right after* submitting my UAI reviews
Reposted by Paolo Morettin
🔥 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/...
🧵⬇️
📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/...
🧵⬇️
February 25, 2025 at 11:01 AM
🔥 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/...
🧵⬇️
📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/...
🧵⬇️
Reposted by Paolo Morettin
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/
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/
February 25, 2025 at 3:33 PM
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/
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...
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
www.cs.ox.ac.uk
February 17, 2025 at 2:11 PM
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...
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
February 8, 2025 at 1:27 PM
Not the kind of work culture that I would promote
Reposted by Paolo Morettin
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...
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...
BilateralAI – Bilateral AI – Cluster of Excellence
www.bilateral-ai.net
November 28, 2024 at 10:42 AM
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...
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...
Reposted by Paolo Morettin
🔔 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
Reposted by Paolo Morettin
📣 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? 🧵
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? 🧵
December 10, 2024 at 7:10 PM
📣 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? 🧵
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? 🧵