Discovering heuristics in a complex SAT solver with large language models
Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei, Shaowei Cai
AI use, as the source states it
“Here we develop AutoModSAT, a framework that uses large language models (LLMs) to automatically optimize SAT solvers.”
Model: AutoModSAT, as stated
Named here, or see a mistake? Write to privacy@papex.org.