斯坦福 SHELDON：假设与观察双空间搜索，推理最高领先 26.7 分

斯坦福提出 LLM 科学推理框架 SHELDON，将假设空间与观察空间分开表示并联合探索，用当前假设无法解释的新观察驱动新假设生成。在诊断、抽象推理和优化基准上，SHELDON 最高超出被评基线 26.7 分，新颖解数量最高达基线的 4.5 倍。