17 citations · 54 across the 10 of their papers we have counts for
12 papers
ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation
Soohan Lim, Joonghyuk Hahn, Hyunwoo Park +2
Current code generation evaluation measures functional correctness on well-formed inputs that satisfy all input preconditions. This paradigm has a critical limitation: task descrip…
SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs
Aditi, Hyunwoo Park, Sicheol Sung +2
Grammar-based test case generation has proven effective for competitive programming problems, but generating valid and general grammars from natural language specifications remains…
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
Sicheol Sung, Aditi, Dogyu kim +2
Automated Test Case Generation (ATCG) is crucial for evaluating software reliability, particularly in competitive programming where robust algorithm assessments depend on diverse a…
CodeComplex: Dataset for Worst-Case Time Complexity Prediction
Seung-Yeop Baik, Joonghyuk Hahn, Jungin Kim +4
Reasoning ability of Large Language Models (LLMs) is a crucial ability, especially in complex decision-making tasks. One significant task to show LLMs' reasoning capability is code…
Ball Trajectory Inference from Multi-Agent Sports Contexts Using Set Transformer and Hierarchical Bi-LSTM
Hyunsung Kim, Han-Jun Choi, Chang Jo Kim +2
As artificial intelligence spreads out to numerous fields, the application of AI to sports analytics is also in the spotlight. However, one of the major challenges is the difficult…
SoccerCPD: Formation and Role Change-Point Detection in Soccer Matches Using Spatiotemporal Tracking Data
Hyunsung Kim, Bit Kim, Dongwook Chung +2
In fluid team sports such as soccer and basketball, analyzing team formation is one of the most intuitive ways to understand tactics from domain participants' point of view. Howeve…
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting
Su-Hyeon Kim, Hyunjoon Cheon, Yo-Sub Han +1
Due to the practical importance of regular expressions (regexes, for short), there has been a lot of research to automatically generate regexes from positive and negative string ex…
6MapNet: Representing soccer players from tracking data by a triplet network
Hyunsung Kim, Jihun Kim, Dongwook Chung +3
Although the values of individual soccer players have become astronomical, subjective judgments still play a big part in the player analysis. Recently, there have been new attempts…
Neural Sign Language Translation based on Human Keypoint Estimation
Sang-Ki Ko, Chang Jo Kim, Hyedong Jung +1
We propose a sign language translation system based on human keypoint estimation. It is well-known that many problems in the field of computer vision require a massive amount of da…
Composition problems for braids: Membership, Identity and Freeness
Sang-Ki Ko, Igor Potapov
In this paper we investigate the decidability and complexity of problems related to braid composition. While all known problems for a class of braids with three strands, , hav…
On the Identity Problem for the Special Linear Group and the Heisenberg Group
Sang-Ki Ko, Reino Niskanen, Igor Potapov
We study the identity problem for matrices, i.e., whether the identity matrix is in a semigroup generated by a given set of generators. In particular we consider the identity probl…
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…