A proof checker can verify the wrong translation perfectly
Recent theorem-proving and benchmark research makes a practical distinction between checking a formal proof and checking that it answers the intended question.
Intellisphere AI Research ยท
Intellisphere AI