@inproceedings{chatzikyriakidis-bernardy-2019-wide,
    title = "A Wide-Coverage Symbolic Natural Language Inference System",
    author = "Chatzikyriakidis, Stergios  and
      Bernardy, Jean-Philippe",
    editor = "Hartmann, Mareike  and
      Plank, Barbara",
    booktitle = "Proceedings of the 22nd Nordic Conference on Computational Linguistics",
    month = sep # "–" # oct,
    year = "2019",
    address = "Turku, Finland",
    publisher = {Link{\"o}ping University Electronic Press},
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/W19-6131/",
    pages = "298--303",
    abstract = "We present a system for Natural Language Inference which uses a dynamic semantics converter from abstract syntax trees to Coq types. It combines the fine-grainedness of a dynamic semantics system with the powerfulness of a state-of-the-art proof assistant, like Coq. We evaluate the system on all sections of the FraCaS test suite, excluding section 6. This is the first system that does a complete run on the anaphora and ellipsis sections of the FraCaS. It has a better overall accuracy than any previous system."
}