SHELDON：通过假设与观察空间的双重搜索进行推理

SHELDON 是一种科学推理 harness，分别表示并联合探索假设空间和观察空间，以避免观察发现被现有假设过度绑定。它会主动寻找新观察和新假设，用无法解释的观察暴露理解缺口，并引导生成超出现有假设细化的新假设。在诊断、抽象推理和优化 benchmark 中，SHELDON 较评测基线最高提升 26.7 分，并生成最多 4.5x 更多新颖解法。