## Potential Members
initial members I can see include (please extend)

- KWARC of course
- Magda Wolska at Tübingen Universitz 
- Moritz Schubotz and his various collaborators at Konstanz University
- Bley/Lafferty and their project
- Richard Zanibbi (Rochester Institute of Technology) 
- Lee Giles (Penn State) 
- NIST (Bruce Miller with DLMF and DRMF)
- Akiko Aizawa and Goran Topic
- Various Corpus providers like zbMATH (they are moving towards an open content policy), maybe even arXiv.
- maybe Math corporations like WIRIS and Authorea and Volker Sorge's Accessibility outfit?
- Aarne Ranta and friends
- Arnold Neumaier and the Concise Group at Vienna University
- Josef Urban at Prague University has a project in this direction
- there is a group at Google who wants to do automated formalization via Deep Neural Networks

And the [International Mathematical Knowledge Trust (IMKT)](http://imkt.org) could provide admin/political support.