4 ms·

Here the train set was only 1000 proofs (with an average of 90 steps per proof) so it is decidely a small dataset (but highly structured and noiseless).

• spolu 6y ago
  (30k proofs to be precise, valid and test are each 1k)