{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"drop","formal_name":"DROP","introduction":"DROP is a reading-comprehension benchmark whose questions require discrete operations over the paragraph — addition, subtraction, comparison, counting, sorting. It is built so that extracting a span cannot answer them.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://huggingface.co/datasets/ucinlp/drop","indexing_mode":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"8d277497-e832-5f01-b286-257ae5ba7f85","task_key":"default--validation--202312b0~2d8beb~2d4ffa~2da737~2d40a8ce917dd6","task_revision_id":"1","upstream_id":"202312b0-8beb-4ffa-a737-40a8ce917dd6","short_description":"What is the most common name for the Polish-Bolshevik War?","config":"default","split":"validation","body":"{\"passage\":\"The war is known by several names. \\\"Polish-Soviet War\\\" is the most common but other names include \\\"Russo-Polish War  of 1919-1921\\\"  and \\\"Polish-Bolshevik War\\\". This second term ) is most common in Polish sources. In some Polish sources it is also referred as the \\\"War of 1920\\\" . There is disagreement over the dates of the war. The Encyclopædia Britannica begins its article with the date range 1919-1920 but then states, \\\"Although there had been hostilities between the two countries during 1919, the conflict began when the Polish head of state Józef Pilsudski formed an alliance with the Ukrainian nationalist leader Symon Petlyura  and their combined forces began to overrun Ukraine, occupying Kiev on 7 May.\\\" The Polish Internetowa encyklopedia PWN, as well as Western historians such as Norman Davies, consider 1919 the starting year of the war. The ending date is given as either 1920 or 1921; this confusion stems from the fact that while the ceasefire was put in force in the autumn of 1920, the official treaty ending the war was signed months later, in March 1921. While the events of 1919 can be described as a border conflict, and only in early 1920 did both sides engage in all-out war, the conflicts that took place in 1920 were an inevitable escalation of fighting that began in earnest a year earlier. In the end, the events of 1920 were a logical, though unforeseen, consequence of the 1919 prelude.\",\"question\":\"What is the most common name for the Polish-Bolshevik War?\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/ucinlp/drop","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}