AI RESEARCH
Pseudo-Formalization for Automatic Proof Verification
arXiv CS.LG
•
ArXi:2605.20531v1 Announce Type: cross Reliable verification of proofs remains a bottleneck for