Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Guchan, Tian, Rui, Wang, Hongning
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2604.18587