metamath's picture
Training in progress, step 500
f0d43d5 verified