نتایج جستجو برای: theorem proving

تعداد نتایج: 162666  

Journal: :Electronic Proceedings in Theoretical Computer Science 2019

Journal: :Transactions of the Association for Computational Linguistics 2022

Abstract Fact verification systems typically rely on neural network classifiers for veracity prediction, which lack explainability. This paper proposes ProoFVer, uses a seq2seq model to generate natural logic-based inferences as proofs. These proofs consist of lexical mutations between spans in the claim and evidence retrieved, each marked with logic operator. Claim is determined solely based s...

Journal: :Journal of Applied Non-Classical Logics 2008

Journal: :Revue française d'automatique informatique recherche opérationnelle. Informatique théorique 1974

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید