Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems.

Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac

Browse the full FlAIRS paper archive.