TY - RPRT TI - Improving Natural-Language Combinatorial-Optimization Accuracy in Resource-Constrained Language Models via Formal Abstractions AU - Shrenil Shaun Sharma AU - Avi Sharma PY - 2026 UR - https://arxiv.org/abs/2608.18409 ID - 2608.18409 ER -