Improving the Diproche CNL through Autoformalization via Large Language Models

The Diproche system is an automated proof checker for texts written in a controlled fragment of German, designed for didactical applications in classes introducing students to proofs for the first time. The first version of the system used a controlled natural language for which a Prolog formalizati...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2024-04
Main Author: Merlin, Carl
Format: Article
Language:English
Subjects:
Prolog
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The Diproche system is an automated proof checker for texts written in a controlled fragment of German, designed for didactical applications in classes introducing students to proofs for the first time. The first version of the system used a controlled natural language for which a Prolog formalization routine was written. In this paper, we explore the possibility of prompting large language models for autoformalization in the context of Diproche, with encouraging first results.
ISSN:2331-8422
DOI:10.48550/arxiv.2303.17513