The paper links the code repo: https://github.com/lovishchopra/NL2FOL
But I don't see a pretrained model in there, so I'm not sure what to pass as `your_nli_model_name`:
python3 src/nl_to_fol.py --model_name <your_model_name> --nli_model_name <your_nli_model_name> --run_name <run_name> --dataset --length