Kakuro

新的ClassicLogic基准测试AI的组合泛化能力

研究人员推出了ClassicLogic，这是一个旨在评估AI组合泛化能力的新基准。该基准包含四个经典的逻辑谜题：数独（Sudoku）、KenKen、数和（Kakuro）和不重复数字（Futoshiki）。其独特之处在于一个分层知识库，该知识库将复杂的求解策略定义为更简单策略的组合，从而能够详细评估AI从基本规则到多步解决问题的推理能力。