FOL-Pretrain: A complexity annotated corpus of first-order logic | Read Paper on Bytez