TY  - RPRT
TI  - Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
AU  - Guchan Li
AU  - Rui Tian
AU  - Hongning Wang
PY  - 2026
UR  - https://arxiv.org/abs/2604.18587
ID  - 2604.18587
ER  -