2 papers
cs.LG2022
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…
cs.DC2018
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…