Pipeline for Verifying LLM-Generated Mathematical Solutions. - Varvara Sazonova; Dmitri Shmelkin; Stanislav Kikot; Vasily Motolygin (CoRR, 2026)