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 math.COShow all

6 papers · 1 filter

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.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.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.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 zero-sum subsequences in a finite abelian group of length not exceeding a given number

1-product problems with congruence conditions in nonabelian groups

The coset factorization of finite cyclic group

The complete splittings of finite abelian groups

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