# Improving the Diproche CNL through Autoformalization via Large Language Models

Preprint · Merlin Carl

- Archive id: arxiv:2303.17513
- Published: 2023-03-12
- Venue: EPTCS 400, 2024, pp. 44-58
- DOI: https://doi.org/10.4204/eptcs.400.4
- arXiv: https://arxiv.org/abs/2303.17513
- Source URL: https://arxiv.org/abs/2303.17513
- PDF: https://arxiv.org/pdf/2303.17513
- Provenance: arxiv

## Abstract

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.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.