Discovering heuristics in a complex SAT solver with large language models. (nature.com)

Authors: Sun Y … Cai S Journal: Nature Communications Published: 2026-07-17 DOI: https://doi.org/10.1038/s41467-026-74949-2