CoreForge

LLMs used to build MaxSAT solver from research papers

Researchers explored the use of large language models (LLMs) to construct a MaxSAT solver, named CoreForge, by interpreting research papers rather than relying on existing codebases. The iterative process involved discu…