TY  - RPRT
TI  - Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience
AU  - Ruben Martins
PY  - 2026
UR  - https://arxiv.org/abs/2607.14818
ID  - 2607.14818
ER  -