4 ms·I feel like 100 theorems they used for fine-tuning is too small of a dataset to train on.by lostmsu 4y agoI feel like 100 theorems they used for fine-tuning is too small of a dataset to train on.