LinguaArray

一个LLM引导的SMT求解框架，LLM提议语义焦点集，由SMT求解器验证并求解量化数组问题，旨在提升求解器在难例上的性能。