Checking-Natural-Language-Proofs
The task of reviewing a natural language proof can be difficult as it requires verifying numerous mental calculations. On the other hand a formal language proof can be automatically verified by computers. Can we create tools to verify natural language proofs using the latest advances in natural language processing?
