SHELDON：在假设与观测空间上做双重搜索的推理框架

SHELDON 是一个科学推理框架，将假设空间与观测空间分开表示并联合探索，从而发现当前假设无法解释的观测，并据此生成超越既有假设修正的新假设。在诊断、抽象推理和优化基准上，SHELDON 比所评估的基线最高高出 26.7 分，并生成最多 4.5 倍的新颖解。论文称其思路受假说演绎法和科学发现双空间模型启发。