TitiSkywalker/C2C-Kimina-Value

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs

Citation

@misc{li2026compilecompressboostingformal,
      title={Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs},
      author={Guchan Li and Rui Tian and Hongning Wang},
      year={2026},
      eprint={2604.18587},
      archivePrefix={arXiv},
      primaryClass={cs.LG},
      url={https://arxiv.org/abs/2604.18587},
}