An experiment in dataset creation and fine model tuning of a math specific models.