AI For Math and Math for AI!

Yifan Zhang et al.