Our paper on differentiable Signal Temporal Logic for neurosymbolic AI has been published by LIPIcs
GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
Authors
Part of:  Volume: 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025) 
 Series: Leibniz International Proceedings in Informatics (LIPIcs)
 Conference: International Symposium on Temporal Representation and Reasoning (TIME)