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
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...
A course I wish I took in my grad years! Are you releasing any material? Any plans on covering formal verification in ML?
January 22, 2025 at 10:29 AM
A course I wish I took in my grad years! Are you releasing any material? Any plans on covering formal verification in ML?