@misc{indiciae12b88f35677c,
  title = {CoqPilot, a plugin for LLM-based generation of proofs},
  author = {Andrei Kozyrev and Gleb Solovev and Nikita Khramov and Anton Podkopaev},
  year = {2024},
  doi = {10.1145/3691620.3695357},
  url = {https://arxiv.org/abs/2410.19605},
  note = {Source identifier: 2410.19605}
}