标签
一位开发者创建了 Puzzle Lair，一个免费的逻辑谜题网站，提供数独、数墙、数织等多种谜题，无广告，一次性解锁全部目录。
提出DiBS，一种扩散模型引导的方法，用于精确数独求解器中的支路选择，在不牺牲完备性的情况下降低搜索代价，并有理论证明和在Royle 17线索基准上的实证结果支持。
本文介绍了一种方法，通过在测试时添加高斯噪声并进行并行推理，使Tiny Recursive Models随机化，在不重新训练的情况下，在PPBench和Sudoku-Extreme上取得了显著的性能提升。
论文《Generative Recursive Reasoning》提出了一种方法，通过并行采样多个潜在推理轨迹来扩展测试时计算，使模型能够探索多样化的假设并避免确定性坍缩。该方法在数独、ARC AGI、N皇后和图形着色等任务上提升了性能，还可以从头生成有效的数独棋盘和MNIST数字。
本文证明，在数独求解轨迹上训练的Transformer构建了由领域约束组织的结构化世界模型，并识别出一个稀疏、单语义的电路，负责裸单决策规则。该工作为Transformer在组合任务上的推理提供了完全可解释的算法描述。