TY  - RPRT
TI  - LLM-Guided Quantified SMT Solving over Uninterpreted Functions
AU  - Kunhang Lv
AU  - Yuhang Dong
AU  - Rui Han
AU  - Fuqi Jia
AU  - Feifei Ma
AU  - Jian Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2601.04675
ID  - 2601.04675
ER  -