19 citations · 19 across the 1 of their papers we have counts for
2 papers
cs.CL2020★ 19 cited
Unnatural Language Processing: Bridging the Gap Between Synthetic and Natural Language Data
Alana Marzoev, Samuel Madden, M. Frans Kaashoek +2
Large, human-annotated datasets are central to the development of natural language processing models. Collecting these datasets can be the most challenging part of the development…
cs.DC2018
A Revised and Verified Proof of the Scalable Commutativity Rule
Lillian Tsai, Eddie Kohler, M. Frans Kaashoek +1
This paper explains a flaw in the published proof of the Scalable Commutativity Rule (SCR), presents a revised and formally verified proof of the SCR in the Coq proof assistant, an…