MaxSAT Evaluation

LLM 用于从研究论文构建 MaxSAT 求解器

研究人员探索了使用大型语言模型 (LLM) 构建 MaxSAT 求解器（命名为 CoreForge）的可能性，该求解器通过解读研究论文而非依赖现有代码库来完成。迭代过程包括与 ChatGPT 的讨论、通过 Codex 提示生成代码以及 LLM 辅助的代码审计。尽管 LLM 辅助的方法在实现求解器组件和通过评估方面显示出潜力，但生成的求解器的性能未能与手动设计的求解器相匹配，这凸显了人类监督和外部验证的必要性。