Uncased BERT Classifier for extracting theorems and proofs
Yolo 2000 iterations weights
Yolo 6000 iterations weights