Davide Rinaldi

Iterative GNNs trained on solver trajectories outperform single-pass SOCP solvers and enable warm-starting classical optimizers.

sLTN transforms the way we integrate structural information into neurosymbolic reasoning, enabling richer representations of temporal and relational constraints.