license:gpl-3.0 size_categories:10M<n<100M format:csv modality:tabular library:datasets library:pandas library:mlcroissant library:polars region:us symbolic-regression scientific-discovery benchmark srsd srbench llm-srbench