it looks like these student models have already been fine-tuned,

These are created using the large fine-tuned model.
You could also fine-tune the large model, and then distill that model into a student and fine-tune some more to get smaller model.