3 ms·
Correction/clarification: 10k proof steps was the number of steps in the training dataset, which was for 100 such proofs.
by Veedrac 6y ago
Correction/clarification: 10k proof steps was the number of steps in the training dataset, which was for 100 such proofs.