Multiple Answer Extraction
for Question Answering with
Automated Theorem Proving Systems
by
Geoff Sutcliffe
Aparna Yerikalapudi
Steven Trac
University of Miami, USA
Abstract