TY  - RPRT
TI  - Uncovering the Limits of Proof Sharing for Neural Networks
AU  - Kanak Das
AU  - Shubham Ugare
AU  - Bor-Yuh Evan Chang
AU  - Sasa Misailovic
AU  - Gagandeep Singh
AU  - Manu Sridharan
PY  - 2026
UR  - https://arxiv.org/abs/2608.19351
ID  - 2608.19351
ER  -