基准极端难度数独
Sudoku-Extreme
极端难度数独基准测试，用于评估模型在密集约束满足问题上的推理和排除能力。
时间轴 (近 90 天)
10月21日
Binary Discrete Diffusion 在 Sudoku-Extreme、Boxoban（推箱子规划）和 graph coloring（图着色）三个约束满足任务上进行了系统评测。
待验证50%
极端难度数独基准测试，用于评估模型在密集约束满足问题上的推理和排除能力。
Binary Discrete Diffusion 在 Sudoku-Extreme、Boxoban（推箱子规划）和 graph coloring（图着色）三个约束满足任务上进行了系统评测。