Question: Is this dataset allowed for commercial use?

Hello,

I noticed that the arXiv paper metadata for PRBench lists the license as CC BY 4.0.

Could you please confirm if the dataset provided in this repository is indeed covered under CC BY 4.0 and if commercial usage is permitted? Adding a LICENSE file to the root of the repo would be very helpful for the community.

Thanks for your work!