17 citations · 20 across the 10 of their papers we have counts for
5 papers · 1 filter
On zero-sum problems over metacyclic groups
Jun Seok Oh, Sávio Ribas, Kevin Zhao +1
Let be a finite group. A finite collection of elements from , where the order is disregarded and repetitions are allowed, is said to be a product-one sequence if its element…
On separating sets of polynomial invariants of finite abelian group actions
Barna Schefler, Kevin Zhao, Qinghai Zhong
Let be a finite group acting on a finite dimensional complex vector space via linear transformations. Let be the algebra of polynomials that are invariant…
On zero-sum subsequences in a finite abelian group of length not exceeding a given number
Kevin Zhao
Let be an additive finite abelian group and let be a positive integer. Denote by the smallest positive integer $l\in \…
On the separating Noether number of finite abelian groups
Barna Schefler, Kevin Zhao, Qinghai Zhong
The separating Noether number of a finite group is the minimal positive integer such that for every finite -module there is a separating set co…
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…