4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.CL2020★ 4 cited
Are Interpretations Fairly Evaluated? A Definition Driven Pipeline for Post-Hoc Interpretability
Ninghao Liu, Yunsong Meng, Xia Hu +2
Recent years have witnessed an increasing number of interpretation methods being developed for improving transparency of NLP models. Meanwhile, researchers also try to answer the q…
cs.AI2017★ 1 cited
Representing Hybrid Automata by Action Language Modulo Theories
Joohyung Lee, Nikhil Loney, Yunsong Meng
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to…
cs.LO2013
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers
Joohyung Lee, Yunsong Meng
We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduc…