TY  - RPRT
TI  - Autoformalization for Ambiguous Inputs: Precision, Coverage, and Cost across SQL and Logical Forms
AU  - Henry Shen
AU  - Xinling Liao
AU  - Adarsh Vatsa
AU  - William Eiers
PY  - 2026
UR  - https://arxiv.org/abs/2611.00340
ID  - 2611.00340
ER  -