Picture for Christoph Benzmüller

Christoph Benzmüller

Freie Universität Berlin, Germany

Check News in One Click: NLP-Empowered Pro-Kremlin Propaganda Detection

Add code
Jan 28, 2024
Viaarxiv icon

Normative Conditional Reasoning as a Fragment of HOL

Add code
Aug 22, 2023
Viaarxiv icon

PapagAI:Automated Feedback for Reflective Essays

Add code
Jul 10, 2023
Viaarxiv icon

Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint

Add code
May 24, 2023
Viaarxiv icon

Automated multilingual detection of Pro-Kremlin propaganda in newspapers and Telegram posts

Add code
Jan 25, 2023
Viaarxiv icon

Solving QMLTP Problems by Translation to Higher-order Logic

Add code
Dec 19, 2022
Viaarxiv icon

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

Add code
Aug 22, 2022
Viaarxiv icon

Automated Reasoning in Non-classical Logics in the TPTP World

Add code
Feb 20, 2022
Figure 1 for Automated Reasoning in Non-classical Logics in the TPTP World
Viaarxiv icon

A Simplified Variant of Gödel's Ontological Argument

Add code
Feb 13, 2022
Figure 1 for A Simplified Variant of Gödel's Ontological Argument
Figure 2 for A Simplified Variant of Gödel's Ontological Argument
Figure 3 for A Simplified Variant of Gödel's Ontological Argument
Figure 4 for A Simplified Variant of Gödel's Ontological Argument
Viaarxiv icon

Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy

Add code
Nov 03, 2021
Figure 1 for Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Figure 2 for Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Figure 3 for Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Figure 4 for Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
Viaarxiv icon