@misc{indiciae96d0c91da9e6,
  title = {Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning},
  author = {Arsen Shebzukhov},
  year = {2026},
  url = {https://arxiv.org/abs/2603.24372},
  note = {Source identifier: 2603.24372}
}