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.