14 citations · 45 across the 9 of their papers we have counts for
10 papers
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…
LST: Lexicon-Guided Self-Training for Few-Shot Text Classification
Hazel Kim, Jaeman Son, Yo-Sub Han
Self-training provides an effective means of using an extremely small amount of labeled data to create pseudo-labels for unlabeled data. Many state-of-the-art self-training approac…
ALP: Data Augmentation using Lexicalized PCFGs for Few-Shot Text Classification
Hazel Kim, Daecheol Woo, Seong Joon Oh +2
Data augmentation has been an important ingredient for boosting performances of learned models. Prior data augmentation methods for few-shot text classification have led to great p…
Cyclic Oritatami Systems Cannot Fold Infinite Fractal Curves
Yo-Sub Han, Hwee Kim
RNA cotranscriptional folding is the phenomenon in which an RNA transcript folds upon itself while being synthesized out of a gene. The oritatami system (OS) is a computation model…
A general architecture of oritatami systems for simulating arbitrary finite automata
Yo-Sub Han, Hwee Kim, Yusei Masuda +1
In this paper, we propose an architecture of oritatami systems with which one can simulate an arbitrary nondeterministic finite automaton (NFA) in a unified manner. The oritatami s…
OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems
Sang-Min Choi, Jiho Park, Quan Nguyen +5
This paper introduces a new family of consensus protocols, namely \emph{Lachesis-class} denoted by , for distributed networks with guaranteed Byzantine fault tolerance…