Miscellaneous Pinet: Optimizing hard-constrained neural networks with orthogonal projection layers Antonio Terpin John Lygeros Efe C. Balta Erscheinungsjahr 2026 Collection