@misc{indiciaee9d069133155,
  title = {ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction},
  author = {Murari Ambati},
  year = {2025},
  url = {https://arxiv.org/abs/2505.24230},
  note = {Source identifier: 2505.24230}
}