@article{usingaristotleapiforaiassistedtheorempro,
  title = {Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem},
  author = {Gabriel Rongyang Lau},
  year = {2026},
  eprint = {2605.20120},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.20120},
}