Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text.

Deborah Ferreira, Andr Freitas

Browse the full LREC paper archive.