#约束模型

论文提出用LLM做模型重构，跑8个基准问题都有明显提速，做约束求解的可以看看这个PDR策略。