Modelpublic

TitiSkywalker/C2C-Kimina-Prover

sourceHugging Facemitupdated 5mo agoView on Hugging Face

0likes7downloads

Model Card

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs

![Arxiv](https://arxiv.org/abs/2604.18587)

Citation

bibtex

@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}, 
}