Researcher profile

Lasha Abzianidze

4 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Natural Solution to FraCaS Entailment Problems

    2016

    Reasoning over several premises is not a common feature of RTE systems as it usually requires deep semantic analysis. On the other hand, FraCaS is a collection of entailment problems consisting of multiple premises and …

  2. CCGweb: a New Annotation Tool and a First Quadrilingual CCG Treebank

    2019

    We present the first open-source graphical annotation tool for combinatory categorial grammar (CCG), and the first set of detailed guidelines for syntactic annotation with CCG, for four languages: English, German, Italian, and Dutch. We also …

  3. Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference

    2023 · arXiv (Cornell University)

    In this position paper, we propose a reasoning framework that can model the reasoning process underlying natural language inferences. The framework is based on the semantic tableau method, a well-studied proof system in formal logic. …

  4. The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations

    2017

    Lasha Abzianidze, Johannes Bjerva, Kilian Evang, Hessel Haagsma, Rik van Noord, Pierre Ludmann, Duc-Duy Nguyen, Johan Bos. Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 2, Short …