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