---
title: README
emoji: 👀
colorFrom: gray
colorTo: purple
sdk: static
pinned: false
---

# AI For Math and Math for AI!

[Yifan Zhang](https://yifzhang.com) et al.