Mathematical reasoning is a crucial side of human cognitive talents, driving progress in scientific discoveries and technological developments. As we try to develop synthetic normal intelligence that matches human cognition, equipping AI with superior mathematical reasoning capabilities is important....