Cita APA (7a ed.)

Lv, K., Dong, Y., Han, R., Jia, F., Ma, F., & Zhang, J. (2026). LLM-Guided Quantified SMT Solving over Uninterpreted Functions.

Cita Chicago Style (17a ed.)

Lv, Kunhang, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, y Jian Zhang. LLM-Guided Quantified SMT Solving over Uninterpreted Functions. 2026.

Cita MLA (9a ed.)

Lv, Kunhang, et al. LLM-Guided Quantified SMT Solving over Uninterpreted Functions. 2026.