TY  - RPRT
TI  - ORSMT: Unleashing the Potential of Satisfiability Modulo Theories for Semantic Verification and Repair in LLM-Based Optimization
AU  - Rui Zhang
AU  - Chenyu Zhou
AU  - Jianghao Lin
AU  - Yaoxin Wu
AU  - Dongdong Ge
AU  - Wen Song
PY  - 2026
UR  - https://arxiv.org/abs/2610.29145
ID  - 2610.29145
ER  -