Modelpublic

TitiSkywalker/C2C-Kimina-Value

sourceHugging Faceupdated 4mo agoView on Hugging Face

0likes12downloads

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