There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Repo for the paper Natural Language Premise Selection: Finding Supporting Statements for Mathematical Texts, 12th Language Resources and Evaluation Conference (LREC), Marseille, France, 2020 (Language Resource Paper).