Virginia Tech / CMU · 2025
239 problems across four science domains testing genuine LLM equation discovery over memorized formulas.
Samples are not shown — this dataset is gated.