@article{coqpilotapluginforllmbasedgenerationof,
  title = {CoqPilot, a plugin for LLM-based generation of proofs},
  author = {Andrei Kozyrev and Gleb Solovev and Nikita Khramov and Anton Podkopaev},
  year = {2024},
  eprint = {2410.19605},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.19605v1},
}