research
∙
04/12/2023
Using large language models for (de-)formalization and natural argumentation exercises for beginner's students
We describe two systems that use text-davinci-003, a large language mode...
share
research
∙
03/12/2023
Improving the Diproche CNL through autoformalization via GPT-3
The Diproche system is an automated proof checker for texts written in a...
research
∙
02/08/2022
Natural Language Proof Checking in Introduction to Proof Classes – First Experiences with Diproche
We present and analyze the employment of the Diproche system, a natural ...
research
∙
11/10/2020
Decision times of infinite computations
The decision time of an infinite time algorithm is the supremum of its h...
research
∙
06/02/2020
Automatized Evaluation of Formalization Exercises in Mathematics
We describe two systems for supporting beginner students in acquiring ba...
research
∙
02/12/2020