TY  - RPRT
TI  - ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
AU  - Murari Ambati
PY  - 2025
UR  - https://arxiv.org/abs/2505.24230
ID  - 2505.24230
ER  -