This repository contains the source code for the FIPO-Prover project page.
FIPO-Prover: Formalization-Oriented Informal Proof Optimization for Efficient Formal Theorem Proving.
If you find FIPO-Prover useful for your work please cite:
@inproceedings{ma2026fipo,
author = {Ma, Jingkun and Wang, Yuchao and Huo, Yujia and Wong, Derek F.},
title = {FIPO-Prover: Formalization-Oriented Informal Proof Optimization for Efficient Formal Theorem Proving},
booktitle = {Proceedings of the 3rd AI for Math Workshop at the 43rd International Conference on Machine Learning (ICML)},
year = {2026},
}
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
