We work with researchers across mathematics, computer science, and related disciplines to develop AI-enabled approaches to mathematical reasoning, formalization, proof synthesis, and discovery.
Our collaborations bring together complementary expertise, research questions, and technical resources. As a group, the team is exploring how artificial intelligence, computer algebra systems, formal methods, and specialized mathematical platforms can help researchers solve challenging problems and advance the practice of mathematics.
We welcome opportunities to work with mathematicians, computer scientists, research groups, and organizations interested in advancing AI for mathematics. Potential collaborations may include joint research, prototype development, evaluation of AI-enabled mathematical tools, shared datasets and benchmarks, student engagement, and the application of CraftLab technologies to new mathematical domains.
If you have a research question, platform, dataset, or use case that could benefit from collaboration, we would be glad to hear from you.
Contact us to introduce your work, describe the challenge you are exploring, and share how you envision working with CraftLab.
Our collaboration with Vijay Ganesh, Prithwish Jana, Leyan Pan, Matthew Davis, and Cruise Song focuses on autoformalization and proof synthesis, exploring AI methods for translating mathematical statements into formal representations and generating proofs. For more information, see their AI for Mathematics site.
Our collaboration with Lisa Carbone’s team at Rutgers University to explore how the Sequencelib platform can support large language models and computer algebra systems in addressing questions in group theory and Lie theory. For more information, visit Lisa Carbone’s team page.
Our collaboration with Ayush Khaitan at Princeton focuses on AI for mathematics, including asymptotic analysis, exploring how AI methods can support mathematical reasoning and help researchers investigate problems involving the limiting behavior of mathematical functions and expressions. For more information, visit Ayush Khaitan page.