AI for Math Fund

Stream: Machine Learning for Theorem Proving

[Jason Rute]

I have no connections to this, but a reminder that this is due tomorrow for anyone in this stream which missed this announcement: https://leanprover.zulipchat.com/#narrow/stream/113486-announce/topic/AI.20for.20math.20fund