AIBullisharXiv – CS AI · 18h ago6/10
🧠
Discovering heuristics in a complex SAT solver with large language models
Researchers have developed AutoModSAT, a framework that leverages large language models to automatically discover and optimize heuristics in SAT solvers, achieving 40% performance improvements over baseline solvers. The approach combines modular solver design with LLM-guided function generation and evolutionary algorithms, demonstrating significant practical gains across diverse datasets.