Artificial Intelligence in Mathematics
My main interests are mathematics, computational linguistics, and artificial intelligence.
My goal is to help develop scalable methods that advance the use of AI in mathematical discovery.
Directions
The following three directions are interesting to me:
- The use of Large Language Models, Autoformalism, and the LEAN programming language to create Automated Proof Systems in Mathematics.
- The use of Agents to assist mathematicians in their work, offloading subtasks to agents which could fee up cognitive capactity, and use agentic watch mode where agents continuously search published results for relevant developments.
- Matematician User Experience (MUX) - what kind of user interfaces (CLI, conversational, etc) can help make the interaction, with mathematically oriented LLMs, more pleasant and productive to mathematicians?
Selected Publications
Powered by Jekyll and Minimal Light theme.