1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.AI2024★ 1 cited
Towards Efficient Formal Verification of Spiking Neural Network
Baekryun Seong, Jieung Kim, Sang-Ki Ko
Recently, AI research has primarily focused on large language models (LLMs), and increasing accuracy often involves scaling up and consuming more power. The power consumption of AI…
cs.LG2024
Contextual Sprint Classification in Soccer Based on Deep Learning
Hyunsung Kim, Gun-Hee Joe, Jinsung Yoon +1
The analysis of high-intensity runs (or sprints) in soccer has long been a topic of interest for sports science researchers and practitioners. In particular, recent studies suggest…
cs.CC2016★ 1 cited
Matrix Semigroup Freeness Problems in
Sang-Ki Ko, Igor Potapov
In this paper we study decidability and complexity of decision problems on matrices from the special linear group . In particular, we study the freeness…