@misc{indiciae2540b61c3a76, title = {Pipeline for Verifying LLM-Generated Mathematical Solutions}, author = {Varvara Sazonova and Dmitri Shmelkin and Stanislav Kikot and Vasily Motolygin}, year = {2026}, url = {https://arxiv.org/abs/2602.20770}, note = {Source identifier: 2602.20770} }