Views
No views yet
1@misc{li2026compilecompressboostingformal,
2 title={Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs},
3 author={Guchan Li and Rui Tian and Hongning Wang},
4 year={2026},
5 eprint={2604.18587},
6 archivePrefix={arXiv},
7 primaryClass={cs.LG},
8 url={https://arxiv.org/abs/2604.18587},
9}