@misc{indiciaeb8864e445880,
  title = {Verifiable LLM-Guided Focal SMT Solving for Quantified Arrays},
  author = {Kunhang Lv and Rui Han and Fuqi Jia and Yuhang Dong and Feifei Ma and Jian Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2610.39435},
  note = {Source identifier: 2610.39435}
}