#数独

共 4 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「数独」标签的资讯、产品与论文，按刊登时间排，新的在上。

7月3日

这篇论文用神经网络给经典求解器指路，数独上回溯法提速33倍，但CaDiCaL不听话就没用，挺挑场景的。

arXiv cs.AI@Timo Bertram 等 6 人原文

6月11日

模型精选11:24

做垂直任务微调的开发者值得关注——DiffusionGemma 的双向注意力让数独这类全局约束问题有了新解法，建议试试在自家任务上微调对比效果。

小互@imxiaohu原文

6月2日

论文精选10:10

神经符号系统终于有了可量化的突破——小模型+符号推理就能碾压纯神经网络，做推理模型和逻辑 AI 的团队值得关注这个方向。

Gary Marcus@GaryMarcus原文

5月21日

论文精选72°15:49

GRAM用随机性打破了递归模型的确定性瓶颈，做推理模型或搜索算法的研究者可以直接复现，做数独或组合优化应用的团队值得关注。

rohanpaul_ai@rohanpaul_ai原文