works on
code generation 1large language models 1maxsat 1solver development 1unsatisfiability algorithms 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.LO2026

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

Ruben Martins

The paper describes CoreForge, an effort to use large language models to implement an unweighted MaxSAT solver directly from research papers, detailing the workflow, components bui…