research
∙
05/20/2022
Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting
Due to the practical importance of regular expressions (regexes, for sho...
share
research
∙
02/05/2022
LST: Lexicon-Guided Self-Training for Few-Shot Text Classification
Self-training provides an effective means of using an extremely small am...
research
∙
12/16/2021
ALP: Data Augmentation using Lexicalized PCFGs for Few-Shot Text Classification
Data augmentation has been an important ingredient for boosting performa...
research
∙
08/09/2019
Cyclic Oritatami Systems Cannot Fold Infinite Fractal Curves
RNA cotranscriptional folding is the phenomenon in which an RNA transcri...
research
∙
04/23/2019
A general architecture of oritatami systems for simulating arbitrary finite automata
In this paper, we propose an architecture of oritatami systems with whic...
research
∙
10/04/2018
OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems
This paper introduces a new family of consensus protocols, namely Laches...
research
∙
07/14/2017