Miscellaneous Pinet: Optimizing hard-constrained neural networks with orthogonal projection layers Antonio Terpin John Lygeros Efe C. Balta Année de publication 2026 Collection