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

11 papers

math.CO2025

On zero-sum problems over metacyclic groups $C_{n} ⋊_{s} C_{2}$

Jun Seok Oh, Sávio Ribas, Kevin Zhao +1

Let $G$ be a finite group. A finite collection of elements from $G$ , where the order is disregarded and repetitions are allowed, is said to be a product-one sequence if its element…

math.AC2025

On separating sets of polynomial invariants of finite abelian group actions

Barna Schefler, Kevin Zhao, Qinghai Zhong

Let $G$ be a finite group acting on a finite dimensional complex vector space $V$ via linear transformations. Let $C [V]^{G}$ be the algebra of polynomials that are invariant…

math.CO2025

On zero-sum subsequences in a finite abelian group of length not exceeding a given number

Kevin Zhao

Let $G$ be an additive finite abelian group and let $k \in [exp (G), D (G) - 1]$ be a positive integer. Denote by $s_{\leq k} (G)$ the smallest positive integer $l\in \…

math.AC2025

On the separating Noether number of finite abelian groups

Barna Schefler, Kevin Zhao, Qinghai Zhong

The separating Noether number $β_{sep} (G)$ of a finite group $G$ is the minimal positive integer $d$ such that for every finite $G$ -module $V$ there is a separating set co…

cs.HC2025★ 17 cited

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

Christine Lee, David Porfirio, Xinyu Jessica Wang +2

Automated planning is traditionally the domain of experts, utilized in fields like manufacturing and healthcare with the aid of expert planning tools. Recent advancements in LLMs h…

math.CO2020

$1$ -product problems with congruence conditions in nonabelian groups

Kevin Zhao

Let $G$ be a finite group and $D_{2 n}$ be the dihedral group of $2 n$ elements. For a positive integer $d$ , let $s_{d N} (G)$ denote the smallest integer $\ell\in \m…

math.CO2020

The coset factorization of finite cyclic group

Kevin Zhao

Let $G$ be a finite cyclic group, written additively, and let $A, B$ be nonempty subsets of $G$ . We will say that $G = A + B$ is a \textit{factorization} if for each $g$ in $G$ there…

math.CO2020

The complete splittings of finite abelian groups

Kevin Zhao

Let $G$ be a finite group. We will say that $M$ and $S$ form a \textsl{complete splitting} (\textsl{splitting}) of $G$ if every element (nonzero element) $g$ of $G$ has a unique re…

math.NT2020

Purely singular splittings of cyclic groups

Pingzhi Yuan, Kevin Zhao

Let $G$ be a finite abelian group. We say that $M$ and $S$ form a \textsl{splitting} of $G$ if every nonzero element $g$ of $G$ has a unique representation of the form $g = m s$ with…

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…

math.CO2018★ 2 cited

The Harborth Constant of Dihedral Groups

Niranjan Balachandran, Eshita Mazumdar, Kevin Zhao

The Harborth constant of a finite group $G$ , denoted $\gs(G)$, is the smallest integer $k$ such that the following holds: For $A \subseteq G$ with $∣ A ∣ = k$ , there exists $B\subseteq…

On zero-sum problems over metacyclic groups Cn​⋊s​C2​

On separating sets of polynomial invariants of finite abelian group actions

On zero-sum subsequences in a finite abelian group of length not exceeding a given number

On the separating Noether number of finite abelian groups

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

1-product problems with congruence conditions in nonabelian groups

The coset factorization of finite cyclic group

The complete splittings of finite abelian groups

Purely singular splittings of cyclic groups

On the Existence of Perfect Splitter Sets

The Harborth Constant of Dihedral Groups

On zero-sum problems over metacyclic groups $C_{n} ⋊_{s} C_{2}$

$1$ -product problems with congruence conditions in nonabelian groups