Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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