InfiWebmath-4+ finetunes (missing step 10k)