Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2303.17513 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866929307801092096 |
|---|---|
| author | Carl, Merlin |
| author_facet | Carl, Merlin |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2303_17513 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Improving the Diproche CNL through Autoformalization via Large Language Models Carl, Merlin Computation and Language Logic in Computer Science 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. |
| title | Improving the Diproche CNL through Autoformalization via Large Language Models |
| topic | Computation and Language Logic in Computer Science |
| url | https://arxiv.org/abs/2303.17513 |