K. Lv, Y. Dong, R. Han, F. Jia, F. Ma, and J. Zhang, “LLM-Guided Quantified SMT Solving over Uninterpreted Functions”, AAAI, vol. 40, no. 17, pp. 14304–14312, Mar. 2026.