Bat-Math Knows Better