{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T16:49:23Z","timestamp":1792169363532,"version":"4.4.0"},"reference-count":76,"publisher":"MIT Press","license":[{"start":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T00:00:00Z","timestamp":1663718400000},"content-version":"vor","delay-in-days":263,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["direct.mit.edu"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,19]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Fact verification systems typically rely on neural network classifiers for veracity prediction, which lack explainability. This paper proposes ProoFVer, which uses a seq2seq model to generate natural logic-based inferences as proofs. These proofs consist of lexical mutations between spans in the claim and the evidence retrieved, each marked with a natural logic operator. Claim veracity is determined solely based on the sequence of these operators. Hence, these proofs are faithful explanations, and this makes ProoFVer faithful by construction. Currently, ProoFVer has the highest label accuracy and the second best score in the FEVER leaderboard. Furthermore, it improves by 13.21% points over the next best model on a dataset with counterfactual instances, demonstrating its robustness. As explanations, the proofs show better overlap with human rationales than attention-based highlights and the proofs help humans predict model decisions correctly more often than using the evidence directly.1<\/jats:p>","DOI":"10.1162\/tacl_a_00503","type":"journal-article","created":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T18:03:30Z","timestamp":1663783410000},"page":"1013-1030","update-policy":"https:\/\/doi.org\/10.1162\/mitpressjournals.corrections.policy","source":"Crossref","is-referenced-by-count":31,"title":["ProoFVer: Natural Logic Theorem Proving for Fact Verification"],"prefix":"10.1162","volume":"10","author":[{"given":"Amrith","family":"Krishna","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Cambridge, United Kingdom. ak2329@cam.ac.uk"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Riedel","sequence":"additional","affiliation":[{"name":"Meta AI and University College London, United Kingdom. sriedel@fb.com"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Vlachos","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Cambridge, United Kingdom. av308@cam.ac.uk"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"281","published-online":{"date-parts":[[2022,9,19]]},"reference":[{"key":"2022092118021129300_bib1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.18653\/v1\/D17-2020","article-title":"LangPro: Natural language theorem prover","volume-title":"Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing: System Demonstrations","author":"Abzianidze","year":"2017"},{"key":"2022092118021129300_bib2","unstructured":"Lasha\n              Abzianidze\n            \n          . 2017b. A Natural Proof System for Natural Language. Ph.D. thesis, Tilburg University."},{"key":"2022092118021129300_bib3","doi-asserted-by":"publisher","DOI":"10.36370\/tto.2019.15","article-title":"Explainable fact checking with probabilistic answer set programming","volume-title":"Proceedings of the 2019 Truth and Trust Online Conference (TTO 2019), London, UK, October 4\u20135, 2019","author":"Ahmadi","year":"2019"},{"key":"2022092118021129300_bib4","first-page":"54","article-title":"FLAIR: An easy-to-use framework for state-of-the-art NLP","volume-title":"Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics (Demonstrations)","author":"Akbik","year":"2019"},{"key":"2022092118021129300_bib5","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2021.fever-1.1","article-title":"FEVEROUS: Fact Extraction and VERification Over Unstructured and Structured information","volume-title":"Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks","author":"Aly","year":"2021"},{"key":"2022092118021129300_bib6","unstructured":"Gabor\n              Angeli\n            \n          . 2016. Learning Open Domain Knowledge From Text. Ph.D. thesis, Stanford University."},{"key":"2022092118021129300_bib7","doi-asserted-by":"publisher","first-page":"534","DOI":"10.3115\/v1\/D14-1059","article-title":"NaturalLI: Natural logic inference for common sense reasoning","volume-title":"Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP)","author":"Angeli","year":"2014"},{"key":"2022092118021129300_bib8","doi-asserted-by":"publisher","first-page":"442","DOI":"10.18653\/v1\/P16-1042","article-title":"Combining natural logic and shallow reasoning for question answering","volume-title":"Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","author":"Angeli","year":"2016"},{"key":"2022092118021129300_bib9","article-title":"Learning to retrieve reasoning paths over Wikipedia graph for question answering","volume-title":"International Conference on Learning Representations","author":"Asai","year":"2020"},{"key":"2022092118021129300_bib10","doi-asserted-by":"publisher","first-page":"7352","DOI":"10.18653\/v1\/2020.acl-main.656","article-title":"Generating fact checking explanations","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Atanasova","year":"2020"},{"key":"2022092118021129300_bib11","doi-asserted-by":"publisher","first-page":"131","DOI":"10.3115\/1654536.1654563","article-title":"Semantic inference at the lexical-syntactic level for textual entailment recognition","volume-title":"Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing","author":"Bar-Haim","year":"2007"},{"key":"2022092118021129300_bib12","article-title":"Autoregressive entity retrieval","volume-title":"International Conference on Learning Representations","author":"De Cao","year":"2021"},{"key":"2022092118021129300_bib13","doi-asserted-by":"publisher","first-page":"4443","DOI":"10.18653\/v1\/2020.acl-main.408","article-title":"ERASER: A benchmark to evaluate rationalized NLP models","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"DeYoung","year":"2020"},{"key":"2022092118021129300_bib14","article-title":"Towards a rigorous science of interpretable machine learning","author":"Doshi-Velez","year":"2017"},{"key":"2022092118021129300_bib15","doi-asserted-by":"crossref","first-page":"7147","DOI":"10.18653\/v1\/2020.emnlp-main.580","article-title":"Generating fact checking briefs","volume-title":"Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP)","author":"Fan","year":"2020"},{"key":"2022092118021129300_bib16","doi-asserted-by":"publisher","first-page":"1172","DOI":"10.18653\/v1\/2020.coling-main.101","article-title":"Exploring end-to-end differentiable natural logic modeling","volume-title":"Proceedings of the 28th International Conference on Computational Linguistics","author":"Feng","year":"2020"},{"issue":"5","key":"2022092118021129300_bib17","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1037\/h0031619","article-title":"Measuring nominal scale agreement among many raters","volume":"76","author":"Fleiss","year":"1971","journal-title":"Psychological Bulletin"},{"issue":"4","key":"2022092118021129300_bib18","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/S1364-6613(99)01294-2","article-title":"Catastrophic forgetting in connectionist networks","volume":"3","author":"French","year":"1999","journal-title":"Trends in Cognitive Sciences"},{"key":"2022092118021129300_bib19","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/3289600.3290996","article-title":"Exfakt: A framework for explaining facts over knowledge graphs and text","volume-title":"Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining","author":"Gad-Elrab","year":"2019"},{"key":"2022092118021129300_bib20","first-page":"758","article-title":"PPDB: The paraphrase database","volume-title":"Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies","author":"Ganitkevitch","year":"2013"},{"key":"2022092118021129300_bib21","doi-asserted-by":"crossref","first-page":"5553","DOI":"10.18653\/v1\/2020.acl-main.492","article-title":"Explaining black box predictions and unveiling data artifacts through influence functions","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Han","year":"2020"},{"key":"2022092118021129300_bib22","doi-asserted-by":"publisher","first-page":"493","DOI":"10.18653\/v1\/K19-1046","article-title":"A richly annotated corpus for different tasks in automated fact-checking","volume-title":"Proceedings of the 23rd Conference on Computational Natural Language Learning (CoNLL)","author":"Hanselowski","year":"2019"},{"key":"2022092118021129300_bib23","doi-asserted-by":"publisher","first-page":"103","DOI":"10.18653\/v1\/W18-5516","article-title":"UKP-athene: Multi- sentence textual entailment for claim verification","volume-title":"Proceedings of the First Workshop on Fact Extraction and VERification (FEVER)","author":"Hanselowski","year":"2018"},{"issue":"4","key":"2022092118021129300_bib24","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1017\/S1351324909990118","article-title":"Inferring textual entailment with a probabilistically sound calculus","volume":"15","author":"Harmeling","year":"2009","journal-title":"Natural Language Engineering"},{"key":"2022092118021129300_bib25","article-title":"DeBERTa: Decoding- enhanced bert with disentangled attention","author":"He","year":"2021"},{"key":"2022092118021129300_bib26","first-page":"1011","article-title":"Tree edit models for recognizing textual entailments, paraphrases, and answers to questions","volume-title":"Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics","author":"Heilman","year":"2010"},{"key":"2022092118021129300_bib27","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.1212303","article-title":"spaCy: Industrial-strength Natural Language Processing in Python","author":"Honnibal","year":"2020"},{"key":"2022092118021129300_bib28","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1145\/1014052.1014073","article-title":"Mining and summarizing customer reviews","volume-title":"Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining","author":"Minqing","year":"2004"},{"key":"2022092118021129300_bib29","doi-asserted-by":"publisher","DOI":"10.33011\/lilt.v9i.1325","article-title":"Recent progress on monotonicity","volume-title":"Linguistic Issues in Language Technology, Volume 9, 2014 - Perspectives on Semantic Representations for Textual Inference","author":"Icard","year":"2014"},{"key":"2022092118021129300_bib30","doi-asserted-by":"publisher","first-page":"4198","DOI":"10.18653\/v1\/2020.acl-main.386","article-title":"Towards faithfully interpretable NLP systems: How should we define and evaluate faithfulness?","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Jacovi","year":"2020"},{"key":"2022092118021129300_bib31","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1162\/tacl_a_00367","article-title":"Aligning Faithful Interpretations with their Social Attribution","volume":"9","author":"Jacovi","year":"2021","journal-title":"Transactions of the Association for Computational Linguistics"},{"key":"2022092118021129300_bib32","doi-asserted-by":"publisher","first-page":"4459","DOI":"10.18653\/v1\/2020.acl-main.409","article-title":"Learning to faithfully rationalize by construction","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Jain","year":"2020"},{"key":"2022092118021129300_bib33","doi-asserted-by":"publisher","first-page":"1627","DOI":"10.18653\/v1\/2020.findings-emnlp.147","article-title":"SimAlign: High quality word alignments without parallel training data using static and contextualized embeddings","volume-title":"Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing: Findings","author":"Sabet","year":"2020"},{"key":"2022092118021129300_bib34","doi-asserted-by":"publisher","first-page":"2021","DOI":"10.18653\/v1\/D17-1215","article-title":"Adversarial examples for evaluating reading comprehension systems","volume-title":"Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing","author":"Jia","year":"2017"},{"key":"2022092118021129300_bib35","article-title":"Analyzing wikidata transclusion on English Wikipedia","volume-title":"Proceedings of the 1st Wikidata Workshop (Wikidata 2020) co-located with 19th International Semantic Web Conference(OPub 2020), Virtual Conference, November 2\u20136, 2020","author":"Johnson","year":"2020"},{"key":"2022092118021129300_bib36","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-319-18111-0_23","article-title":"From natural logic to natural reasoning","volume-title":"Computational Linguistics and Intelligent Text Processing","author":"Karttunen","year":"2015"},{"key":"2022092118021129300_bib37","doi-asserted-by":"publisher","first-page":"5430","DOI":"10.18653\/v1\/2020.coling-main.474","article-title":"Explainable automated fact-checking: A survey","volume-title":"Proceedings of the 28th International Conference on Computational Linguistics","author":"Kotonya","year":"2020"},{"key":"2022092118021129300_bib38","doi-asserted-by":"publisher","first-page":"7740","DOI":"10.18653\/v1\/2020.emnlp-main.623","article-title":"Explainable automated fact-checking for public health claims","volume-title":"Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP)","author":"Kotonya","year":"2020"},{"key":"2022092118021129300_bib39","doi-asserted-by":"publisher","first-page":"107","DOI":"10.18653\/v1\/D16-1011","article-title":"Rationalizing neural predictions","volume-title":"Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing","author":"Lei","year":"2016"},{"key":"2022092118021129300_bib40","doi-asserted-by":"publisher","first-page":"7871","DOI":"10.18653\/v1\/2020.acl-main.703","article-title":"BART: Denoising sequence- to-sequence pre-training for natural language generation, translation, and comprehension","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Lewis","year":"2020"},{"issue":"2","key":"2022092118021129300_bib41","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1162\/COLI_a_00127","article-title":"Learning dependency-based compositional semantics","volume":"39","author":"Liang","year":"2013","journal-title":"Computational Linguistics"},{"issue":"10","key":"2022092118021129300_bib42","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/3233231","article-title":"The mythos of model interpretability","volume":"61","author":"Lipton","year":"2018","journal-title":"Communications of ACM"},{"key":"2022092118021129300_bib43","doi-asserted-by":"crossref","first-page":"7342","DOI":"10.18653\/v1\/2020.acl-main.655","article-title":"Fine-grained fact verification with kernel graph attention network","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Liu","year":"2020"},{"key":"2022092118021129300_bib44","unstructured":"Bill\n              MacCartney\n            \n          . 2009. Natural Language Inference. Ph.D. thesis, Stanford University."},{"key":"2022092118021129300_bib45","doi-asserted-by":"publisher","first-page":"193","DOI":"10.3115\/1654536.1654575","article-title":"Natural logic for textual inference","volume-title":"Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing","author":"MacCartney","year":"2007"},{"key":"2022092118021129300_bib46","doi-asserted-by":"publisher","first-page":"289","DOI":"10.3115\/1667583.1667672","article-title":"Automatic cost estimation for tree edit distance using particle swarm optimization","volume-title":"Proceedings of the ACL-IJCNLP 2009 Conference Short Papers","author":"Mehdad","year":"2009"},{"issue":"11","key":"2022092118021129300_bib47","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","article-title":"Wordnet: A lexical database for english","volume":"38","author":"Miller","year":"1995","journal-title":"Commun. ACM"},{"key":"2022092118021129300_bib48","doi-asserted-by":"publisher","first-page":"2553","DOI":"10.18653\/v1\/D19-1258","article-title":"Revealing the importance of semantic retrieval for machine reading at scale","volume-title":"Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)","author":"Nie","year":"2019"},{"key":"2022092118021129300_bib49","doi-asserted-by":"publisher","first-page":"114","DOI":"10.18653\/v1\/S16-2014","article-title":"So- called non-subsective adjectives","volume-title":"Proceedings of the Fifth Joint Conference on Lexical and Computational Semantics","author":"Pavlick","year":"2016"},{"key":"2022092118021129300_bib50","doi-asserted-by":"publisher","first-page":"425","DOI":"10.3115\/v1\/P15-2070","article-title":"PPDB 2.0: Better paraphrase ranking, fine-grained entailment relations, word embeddings, and style classification","volume-title":"Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 2: Short Papers)","author":"Pavlick","year":"2015"},{"key":"2022092118021129300_bib51","article-title":"Revisiting evaluation of knowledge base completion models","volume-title":"Automated Knowledge Base Construction","author":"Pezeshkpour","year":"2020"},{"key":"2022092118021129300_bib52","doi-asserted-by":"publisher","first-page":"22","DOI":"10.18653\/v1\/D18-1003","article-title":"DeClarE: Debunking fake news and false claims using evidence-aware deep learning","volume-title":"Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing","author":"Popat","year":"2018"},{"key":"2022092118021129300_bib53","doi-asserted-by":"publisher","first-page":"1314","DOI":"10.18653\/v1\/N18-1119","article-title":"Fast lexically constrained decoding with dynamic beam allocation for neural machine translation","volume-title":"Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)","author":"Post","year":"2018"},{"key":"2022092118021129300_bib54","first-page":"3662","article-title":"multiPRover: Generating multiple proofs for improved interpretability in rule reasoning","volume-title":"Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies","author":"Saha","year":"2021"},{"key":"2022092118021129300_bib55","doi-asserted-by":"publisher","first-page":"624","DOI":"10.18653\/v1\/2021.naacl-main.52","article-title":"Get your vitamin C! Robust fact verification with contrastive evidence","volume-title":"Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies","author":"Schuster","year":"2021"},{"key":"2022092118021129300_bib56","doi-asserted-by":"publisher","first-page":"3419","DOI":"10.18653\/v1\/D19-1341","article-title":"Towards debiasing fact verification models","volume-title":"Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)","author":"Schuster","year":"2019"},{"key":"2022092118021129300_bib57","doi-asserted-by":"publisher","first-page":"14","DOI":"10.18653\/v1\/2021.fever-1.2","article-title":"Evidence selection as a token-level prediction task","volume-title":"Proceedings of the Fourth Workshop on Fact Extraction and VERification (FEVER)","author":"Stammbach","year":"2021"},{"key":"2022092118021129300_bib58","first-page":"283","article-title":"Efficient search for transformation-based inference","volume-title":"Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","author":"Stern","year":"2012"},{"key":"2022092118021129300_bib59","first-page":"41","article-title":"Scaling web- based acquisition of entailment relations","volume-title":"Proceedings of the 2004 Conference on Empirical Methods in Natural Language Processing","author":"Szpektor","year":"2004"},{"key":"2022092118021129300_bib60","doi-asserted-by":"publisher","first-page":"957","DOI":"10.18653\/v1\/2021.eacl-main.82","article-title":"Elastic weight consolidation for better bias inoculation","volume-title":"Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume","author":"Thorne","year":"2021"},{"key":"2022092118021129300_bib61","doi-asserted-by":"publisher","first-page":"3298","DOI":"10.18653\/v1\/2021.acl-long.256","article-title":"Evidence-based factual error correction","volume-title":"Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers)","author":"Thorne","year":"2021"},{"key":"2022092118021129300_bib62","doi-asserted-by":"publisher","first-page":"809","DOI":"10.18653\/v1\/N18-1074","article-title":"FEVER: A large-scale dataset for fact extraction and VERification","volume-title":"Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)","author":"Thorne","year":"2018"},{"key":"2022092118021129300_bib63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.18653\/v1\/W18-5501","article-title":"The fact extraction and VERification (FEVER) shared task","volume-title":"Proceedings of the First Workshop on Fact Extraction and VERification (FEVER)","author":"Thorne","year":"2018"},{"key":"2022092118021129300_bib64","doi-asserted-by":"publisher","first-page":"1","DOI":"10.18653\/v1\/D19-6601","article-title":"The FEVER2.0 shared task","volume-title":"Proceedings of the Second Workshop on Fact Extraction and VERification (FEVER)","author":"Thorne","year":"2019"},{"issue":"2","key":"2022092118021129300_bib65","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1080\/08913811.2013.843872","article-title":"The epistemology of fact checking","volume":"25","author":"Uscinski","year":"2013","journal-title":"Critical Review"},{"key":"2022092118021129300_bib66","unstructured":"V. M. S.\n              Valencia\n            \n          . 1991. Studies on Natural Logic and Categorial Grammar. Ph.D. thesis, University of Amsterdam."},{"key":"2022092118021129300_bib67","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-94-009-4540-1_6","article-title":"Natural logic","volume-title":"Essays in Logical Semantics","author":"Van Benthem","year":"1986"},{"issue":"10","key":"2022092118021129300_bib68","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/2629489","article-title":"Wikidata: A free collaborative knowledgebase","volume":"57","author":"Vrande\u010di\u0107","year":"2014","journal-title":"Commun. ACM"},{"key":"2022092118021129300_bib69","doi-asserted-by":"publisher","first-page":"7534","DOI":"10.18653\/v1\/2020.emnlp-main.609","article-title":"Fact or fiction: Verifying scientific claims","volume-title":"Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP)","author":"Wadden","year":"2020"},{"key":"2022092118021129300_bib70","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1162\/tacl_a_00360","article-title":"Kepler: A unified model for knowledge embedding and pre-trained language representation","volume":"9","author":"Wang","year":"2021","journal-title":"Transactions of the Association for Computational Linguistics"},{"key":"2022092118021129300_bib71","first-page":"1024","article-title":"DTCA: Decision tree-based co-attention networks for explainable claim verification","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Lianwei","year":"2020"},{"key":"2022092118021129300_bib72","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1162\/tacl_a_00368","article-title":"EDITOR: An edit-based transformer with repositioning for neural machine translation with soft lexical constraints","volume":"9","author":"Weijia","year":"2021","journal-title":"Transactions of the Association for Computational Linguistics"},{"key":"2022092118021129300_bib73","doi-asserted-by":"crossref","first-page":"7170","DOI":"10.18653\/v1\/2020.emnlp-main.582","article-title":"Coreferential reasoning learning for language representation","volume-title":"Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP)","author":"Ye","year":"2020"},{"key":"2022092118021129300_bib74","first-page":"17283","article-title":"Big bird: Transformers for longer sequences","volume-title":"Advances in Neural Information Processing Systems","author":"Zaheer","year":"2020"},{"key":"2022092118021129300_bib75","first-page":"658","article-title":"Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars","volume-title":"Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence, UAI\u201905","author":"Zettlemoyer","year":"2005"},{"key":"2022092118021129300_bib76","doi-asserted-by":"publisher","first-page":"6170","DOI":"10.18653\/v1\/2020.acl-main.549","article-title":"Reasoning over semantic-level graph for fact checking","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics","author":"Zhong","year":"2020"}],"container-title":["Transactions of the Association for Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/direct.mit.edu\/tacl\/article-pdf\/doi\/10.1162\/tacl_a_00503\/2043751\/tacl_a_00503.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/direct.mit.edu\/tacl\/article-pdf\/doi\/10.1162\/tacl_a_00503\/2043751\/tacl_a_00503.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T18:04:06Z","timestamp":1663783446000},"score":1,"resource":{"primary":{"URL":"https:\/\/direct.mit.edu\/tacl\/article\/doi\/10.1162\/tacl_a_00503\/113022\/ProoFVer-Natural-Logic-Theorem-Proving-for-Fact"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":76,"URL":"https:\/\/doi.org\/10.1162\/tacl_a_00503","relation":{},"ISSN":["2307-387X"],"issn-type":[{"value":"2307-387X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022]]},"published":{"date-parts":[[2022]]}}}