Triangulating PL functions and the existence of efficient ReLU DNNs. - Danny Calegari (CoRR, 2025)