@misc{indiciae00759fc0d3b1,
  title = {Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs},
  author = {Guchan Li and Rui Tian and Hongning Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2604.18587},
  note = {Source identifier: 2604.18587}
}