LLM-SRBench is a benchmark dataset designed to evaluate large language models in scientific equation discovery. This market resolves to 'Yes' if the dataset is downloaded more than 2000 times by August 1, 2025, as reported on its Hugging Face page. Dataset Link