Let a Neural Network be Your Invariant - Giacobbe, Mirco; Kroening, Daniel; Pal, Abhinandan; Tautschnig, Michael (Advances in Neural Information Processing Systems, 2025)