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

Paper recorded by Signals 4 on 2026-10-19 in cs.CL. Abstract reproduced from arXiv; link to the original below.

Published 2026-10-19 on arXiv · recorded by Signals 4 on 2026-10-20

Category: cs.CL · 自然语言处理 · first seen 2026-10-20

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 autoform

Read on arXiv →