REAMS: Reasoning Enhanced Algorithm for Maths Solving. - Eishkaran Singh; Tanav Singh Bajaj; Siddharth Nayak (CoRR, 2025)