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