Post

Good morning from day 2 at NeSy in Santa Cruz! Starting with a nice oral session, such as studying how well neural networks learn boolean functions (with some surprising results!) and verifying NeSy models for robustness @luislamb.bsky.social

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.