Newest papers

ASTOR: Benchmarking and Improving Autoformulation for Soft-Constraint Optimization with a Formal Grammar

Amer Goel, Yeganeh Alimohammadi, Andrew Daw · 2026 · arXiv

DOI: 10.48550/arXiv.2610.26819 · open-access PDF

German

Real-World-Entscheidungsprobleme kombinieren zwei qualitativ unterschiedliche Arten von Einschränkungen: Anforderungen, die erfüllt werden müssen, genannt harte Einschränkungen, und Präferenzen, die verletzt werden können, genannt weiche Einschränkungen. Da diese Probleme oft zu Entscheidungsträgern in natürlicher Sprache gestellt werden, bieten große Sprachmodelle ein natürliches Werkzeug, um mit ihrer Lösung zu helfen. Dies hat zur Selbstformulierung geführt, die sich auf die Verwendung von LLMs konzentriert, um Beschreibungen von Entscheidungen in natürlicher Sprache in ausführbare mathematische Optimierungsmodelle zu übersetzen.

Machine translation (Meta M2M100); the English original follows.

Abstract

Real-world decision problems combine two qualitatively different kinds of constraints: requirements that must be satisfied, called hard constraints, and preferences that can be violated, called soft constraints. Because these problems are often posed to decision-makers in natural language, large language models offer a natural tool for assisting with their solution. This has given rise to autoformulation, which focuses on using LLMs to translate natural-language descriptions of decision problems into executable mathematical optimization models. However, this research often neglects soft constr

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Is this paper real? This page was built from OpenAlex and arXiv records, not generated. Software can verify any reference in one call: GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.26819, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txt

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange