@misc{indiciae57541ec45954,
  title = {ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis},
  author = {Haoxiong Liu and Jiacheng Sun and Zhenguo Li and Andrew C Yao},
  year = {2025},
  url = {https://arxiv.org/abs/2501.18310},
  note = {Source identifier: 2501.18310}
}