Verifiable LLM-Guided Focal SMT Solving for Quantified Arrays

By Kunhang Lv, Rui Han, Fuqi Jia, Yuhang Dong, Feifei Ma

· ArXiv · AI/CL/LG · Oct 29, 2026