Author

Ruben Martins

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Jul 2026

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

The experience suggests that LLMs can support solver implementation from papers, while requiring external validation, benchmarking, and human guidance, although performance remains below the best hand-engineered MaxSAT solvers.

Ruben Martins · 0 citations