ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale
Researchers created ChaosBench-Logic v2, a large benchmark testing LLM reasoning over 165 dynamical systems using first-order logic. A new evaluation protocol, CARE, reveals that LLMs struggle with parameter-dependent dynamics and prior collapse. Findings show proprietary models excel at consistency tasks, while open-source models dominate indicator diagnostics.