Picture for Merlin Carl

Merlin Carl

Europa-Universität Flensburg

Using large language models for (de-)formalization and natural argumentation exercises for beginner's students

Add code
Apr 12, 2023
Viaarxiv icon

Improving the Diproche CNL through autoformalization via GPT-3

Add code
Mar 12, 2023
Viaarxiv icon

Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche

Add code
Feb 08, 2022
Figure 1 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 2 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 3 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Figure 4 for Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Viaarxiv icon

Automatized Evaluation of Formalization Exercises in Mathematics

Add code
Jun 02, 2020
Viaarxiv icon

Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics

Add code
Feb 12, 2020
Viaarxiv icon