ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis.

Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C. Yao

Browse the full ICML paper archive.