antonio vergari ⚔️ short-circuiting
@nolovedeeplearning.bsky.social
human being | assoc prof in #ML #AI #Edinburgh | PI of #APRIL | #reliable #probabilistic #models #tractable #generative #neuro #symbolic | heretical empiricist | he/him
👉 https://april-tools.github.io
👉 https://april-tools.github.io
we are!
we play tractable punk
we play tractable punk
August 2, 2025 at 6:19 PM
we are!
we play tractable punk
we play tractable punk
*owe
July 28, 2025 at 2:01 PM
*owe
Reposted by antonio vergari ⚔️ short-circuiting
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 antonio vergari ⚔️ short-circuiting
congratulations to Paula Cordero Encinar, Francesca Romana Crucinio and O. Deniz Akyildiz (@odakyildiz.bsky.social) for winning the 🏆 Best Student Paper Award 🏆 at #UAI2025 with
"Proximal Interacting Particle Langevin Algorithms"
👉 openreview.net/forum?id=rTq...
"Proximal Interacting Particle Langevin Algorithms"
👉 openreview.net/forum?id=rTq...
July 28, 2025 at 11:06 AM
congratulations to Paula Cordero Encinar, Francesca Romana Crucinio and O. Deniz Akyildiz (@odakyildiz.bsky.social) for winning the 🏆 Best Student Paper Award 🏆 at #UAI2025 with
"Proximal Interacting Particle Langevin Algorithms"
👉 openreview.net/forum?id=rTq...
"Proximal Interacting Particle Langevin Algorithms"
👉 openreview.net/forum?id=rTq...