MATcH Dataset
material
ID: matchdataset
Entity Details
Basic Information
Entity ID
matchdataset
Entity Type
Material
English Label
MATcH Dataset
Russian Label
Набор данных MATcH
Kazakh Label
MATcH деректер жинағы
Frequency
1
Description
English Description
The MATcH dataset consisting of over 180k statement proof pairs extracted from modern mathematical research articles.
Russian Description
-
Kazakh Description
-