🥳 Paper got accepted at MathAI workshop at NeurIPS 2025