Add Hugging Face dataset cards for IMO Bench#8

Ashutosh0x wants to merge 1 commit intogoogle-deepmind:maingoogle-deepmind/superhuman:mainfrom

Ashutosh0x:feature/hf-dataset-cardsAshutosh0x/superhuman:feature/hf-dataset-cardsCopy head branch name to clipboard