#神经符号方法

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

用LLM帮MAS做策略合成，再加形式验证保证正确性，Qwen3-32B跑出92%准确率，挺实在的方法。