Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei, Shaowei Cai. "Discovering heuristics in a complex SAT solver with large language models." Nature Communications, 2026. doi:10.1038/s41467-026-74949-2