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 2020Show all

4 papers · 1 filter

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…

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

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