Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems

Open in new window