Uncovering the Limits of Proof Sharing for Neural Networks

Published in SAS, 2026

Recommended citation: Kanak Das, Shubham Ugare, Bor-Yuh Evan Chang, Sasa Misailovic, Gagandeep Singh, Manu Sridharan, SAS 2026.