Lv, Kunhang, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, and Jian Zhang. 2026. “LLM-Guided Quantified SMT Solving over Uninterpreted Functions”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (17):14304-12. https://doi.org/10.1609/aaai.v40i17.38445.