İsmail İlkan Ceylan
Principal Investigator
AI for Mathematics
Machine learning for formal mathematics and theorem proving.
[TODO: review this text.]
Mathematics is an ideal testbed for reasoning: proofs can be checked formally, and problems come with rich structure. We study how learning systems can become reliable partners for formal mathematics.
Key Directions
- Formal theorem proving: Making LLM-based provers robust to superficial changes in how a problem is stated, by building in the right symmetries.
- [TODO: direction]: [TODO: one-sentence description]
People
Selected Publications
All publications →What are the Right Symmetries for Formal Theorem Proving?
In arXiv preprint
May 2026