ProofNet-Verified Viewer
←
→
Go
Provability: all
Faithfulness: all
Root Cause: all
All
Exact & Faithful
Not Exact & Faithful
Not Exact & Not Faithful
Provability: true
Faithfulness: faithful
Root Cause: none
Original (proofnet-4.28)
Corrected (proofnet_verified-4.28)