8 ms·ZK Cost-Aware Model Training: ReLU Count as a Predictor of Proof Cost2 points by adamzwasserman 2mo agoadamzwasserman 2mo ago[dead]