Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students

Merlin Carl
4/12/2023
cs.CLmath.LO

No confident code implementation found for this paper. 4 possible matches can be shown below.

Abstract

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 4 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Error Detection and Correction for Interpretable Mathematics in Large Language Models

84% match2025

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

83% match1 repo4552023

MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

83% match1 repo4552023

SkyMath: Technical Report

83% match2023

Formal Aspects of Language Modeling

82% match2023

ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving

82% match2023

Cite this paper

@article{carl2023using,
  title  = {Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students},
  author = {Merlin Carl},
  year   = {2023},
  eprint = {2304.06186},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2304.06186v3}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2304.06186.svg)](https://codeofpaper.com/paper/2304.06186)

Discussion