84 citations · 91 across the 5 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.CL2020★ 4 cited
EPIE Dataset: A Corpus For Possible Idiomatic Expressions
Prateek Saxena, Soma Paul
Idiomatic expressions have always been a bottleneck for language comprehension and natural language understanding, specifically for tasks like Machine Translation(MT). MT systems p…
cs.CR2020★ 84 cited
Epione: Lightweight Contact Tracing with Strong Privacy
Ni Trieu, Kareem Shehata, Prateek Saxena +2
Contact tracing is an essential tool in containing infectious diseases such as COVID-19. Many countries and research groups have launched or announced mobile apps to facilitate con…
cs.LG2020
Scalable Quantitative Verification For Deep Neural Networks
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel +1
Despite the functional success of deep neural networks (DNNs), their trustworthiness remains a crucial open challenge. To address this challenge, both testing and verification tech…