{"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":"737e3902-8d20-5d7f-a572-a60f7f0d9cde","task_key":"default--validation--256a7939~2d557b~2d425f~2db311~2df4e517fcbdd3","task_revision_id":"1","upstream_id":"256a7939-557b-425f-b311-f4e517fcbdd3","short_description":"How many fewer US dollars was the Russian military budget in 2014 than it was be…","config":"default","split":"validation","body":"{\"passage\":\"The Russian governments official 2014 military budget is about 2.49 trillion rubles (approximately US$69.3 billion), the List of countries by military expenditures in the world behind the US and China. The official budget is set to rise to 3.03 trillion rubles (approximately US$83.7 billion) in 2015, and 3.36 trillion rubles (approximately US$93.9 billion) in 2016. However, unofficial estimates put the budget significantly higher, for example the Stockholm International Peace Research Institute (SIPRI) 2013 Military Expenditure Database estimated Russias military expenditure in 2012 at US$90.749 billion. This estimate is an increase of more than US$18 billion on SIPRIs estimate of the Russian military budget for 2011 (US$71.9 billion). , Russias military budget is higher than any other European nation.\",\"question\":\"How many fewer US dollars was the Russian military budget in 2014 than it was be in 2015?\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/ucinlp/drop","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}