@article{rocqsmithcanautomaticoptimizationforgebe,
  title = {RocqSmith: Can Automatic Optimization Forge Better Proof Agents?},
  author = {Andrei Kozyrev and Nikita Khramov and Denis Lochmelis and Valerio Morelli and Gleb Solovev and Anton Podkopaev},
  year = {2026},
  eprint = {2602.05762},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2602.05762},
}