Yiwen Sun

LLMs automate SAT solver optimization, boosting performance by 40%

Researchers have developed AutoModSAT, a new framework that leverages large language models (LLMs) to automatically optimize complex SAT solvers. This approach combines an LLM-compatible modular solver design with unsup…