@article{justtypeitinisabelleaiagentsdraftingmech,
  title = {Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints},
  author = {Kevin Kappelmann and Maximilian Schäffeler and Lukas Stevens and Mohammad Abdulaziz and Andrei Popescu and Dmitriy Traytel},
  year = {2026},
  eprint = {2604.15713},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.15713},
}