Lv K, Dong Y, Han R, Jia F, Ma F, Zhang J. LLM-Guided Quantified SMT Solving over Uninterpreted Functions. AAAI [Internet]. 2026 Mar. 14 [cited 2026 May 16];40(17):14304-12. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/38445