task_categories:text-retrieval annotations_creators:machine-generated language_creators:expert-generated language_creators:machine-generated language_creators:other multilinguality:monolingual source_datasets:original language:en license:apache-2.0 size_categories:1M<n<10M arxiv:2303.04488 arxiv:1606.04442 region:us lemma-selection premise-selection automated-reasoning automated-theorem-proving text-retrieval