Lv, K.; Dong, Y.; Han, R.; Jia, F.; Ma, F.; Zhang, J. LLM-Guided Quantified SMT Solving over Uninterpreted Functions. AAAI 2026, 40, 14304-14312.