Reposted by Lena Zellinger
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...
openreview.net
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....