K. Zhao

activity

20182025

most citedVeriPlan: Integrating Formal Verification and LLMs into End-User Planning

17 citations · 20 across the 10 of their papers we have counts for

collaborators

Showing cs.ITShow all

1 paper · 1 filter

cs.IT2019★ 1 cited

On the Existence of Perfect Splitter Sets

Pingzhi Yuan, Kevin Zhao

Given integers $k_{1}, k_{2}$ with $0 \leq k_{1} < k_{2}$ , the determinations of all positive integers $q$ for which there exists a perfect Splitter $B [- k_{1}, k_{2}] (q)$ set is a wide open questi…