Lena Zellinger
@lenazellinger.bsky.social
ELLIS PhD student at the University of Edinburgh
https://lenazellinger.github.io/
https://lenazellinger.github.io/
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...
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...