Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917635487170560 |
|---|---|
| author | Carl, Merlin |
| author_facet | Carl, Merlin |
| contents | We describe two systems currently being developed that use large language models for the automatized correction of (i) exercises in translating back and forth between natural language and the languages of propositional logic and first-order predicate logic and (ii) exercises in writing simple arguments in natural language in non-mathematical scenarios. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_06186 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students Carl, Merlin Computation and Language Logic We describe two systems currently being developed that use large language models for the automatized correction of (i) exercises in translating back and forth between natural language and the languages of propositional logic and first-order predicate logic and (ii) exercises in writing simple arguments in natural language in non-mathematical scenarios. |
| title | Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students |
| topic | Computation and Language Logic |
| url | https://arxiv.org/abs/2304.06186 |