TY - RPRT TI - ASTOR: Benchmarking and Improving Autoformulation for Soft-Constraint Optimization with a Formal Grammar AU - Amer Goel AU - Yeganeh Alimohammadi AU - Andrew Daw PY - 2026 UR - https://arxiv.org/abs/2610.26819 ID - 2610.26819 ER -