Deliverables Demonstrators, pilots, prototypes (2) Platform MVP Demonstrator of the Platform MVP First platform AI tools for Fact Checking and User Adaptability Demonstrator of First platform AI tools for Fact Checking and User Adaptability Publications (2) ProoFVer: Natural Logic Theorem Proving for Fact Verification Author(s): Amrith Krishna, Sebastian Riedel, Andreas Vlachos Published in: Transactions of the Association for Computational Linguistics, Issue Volume 10, 2022, Page(s) 1013-1030, ISSN 2307-387X Publisher: MIT Press Direct DOI: 10.1162/tacl_a_00503 A Survey on Automated Fact-Checking Author(s): Zhijiang Guo, Michael Sejr Schlichtkrull, Andreas Vlachos Published in: Transactions of the Association for Computational Linguistics, Issue Volume 10, 2022, Page(s) 178–206, ISSN 2307-387X Publisher: MIT Press Direct DOI: 10.1162/tacl_a_00454 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available