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

Ruben Martins

We report on CoreForge, an experience in using large language models (LLMs) to build an unweighted MaxSAT solver from research papers rather than from an existing solver codebase.…