Any mathematicians looking for CS partners for the NSF proposal on AI for Math? We are thinking of doing something related to discovering relations as well as automatically formalizing proofs from both natural language and diagrams drawn by hand. We have a few other ideas too.
