Back to Main Conference 2020
LREC 2020main
Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text
Proceedings of the Twelfth International Conference on Language Resources and Evaluation (LREC 2020)
Abstract
No abstract available.