Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience

The CoreForge project demonstrates an iterative workflow where large language models are used to construct a MaxSAT solver directly from academic literature rather than existing codebases.

Firefly links to the original publisher. The summary above is AI-generated for orientation and may differ from the source. The “current rank score” decays over time so newer significant stories surface first.