5 citations · 8 across the 6 of their papers we have counts for
7 papers
PapagAI:Automated Feedback for Reflective Essays
Veronika Solopova, Adrian Gruszczynski, Eiad Rostom +9
Written reflective practice is a regular exercise pre-service teachers perform during their higher education. Usually, their lecturers are expected to provide individual feedback,…
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
Colin Rothgang, Florian Rabe, Christoph Benzmüller
Higher-order logic HOL offers a very simple syntax and semantics for representing and reasoning about typed data structures. But its type system lacks advanced features where types…
Automated multilingual detection of Pro-Kremlin propaganda in newspapers and Telegram posts
Veronika Solopova, Oana-Iuliana Popescu, Christoph Benzmüller +1
The full-scale conflict between the Russian Federation and Ukraine generated an unprecedented amount of news articles and social media data reflecting opposing ideologies and narra…
Mathematical Proof Between Generations
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard +7
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This…
What is a proof? What should it be?
Christoph Benzmüller
Mathematical proofs should be paired with formal proofs, whenever feasible.
The Higher-Order Prover Leo-III (Extended Version)
Alexander Steen, Christoph Benzmüller
The automated theorem prover Leo-III for classical higher-order logic with Henkin semantics and choice is presented. Leo-III is based on extensional higher-order paramodulation and…
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers
Christoph Benzmüller, Bruno Woltzenlogel Paleo
The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof ass…