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

12 April 2023

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

1 / 1 papers shown

Title
Autoformalization with Large Language Models Yuhuai Wu Albert Q. Jiang Wenda Li M. Rabe Charles Staats M. Jamnik Christian Szegedy AI4CE 110 157 0 25 May 2022