ResearchTrend.AI
Autograding Mathematical Induction Proofs with Natural Language Processing

Autograding Mathematical Induction Proofs with Natural Language Processing

Chenyan Zhao
Mariana Silva
Seth Poulsen
ArXivPDFHTML

Papers citing "Autograding Mathematical Induction Proofs with Natural Language Processing"

1 / 1 papers shown
Title
Autoformalization with Large Language Models
Autoformalization with Large Language Models
Yuhuai Wu
Albert Q. Jiang
Wenda Li
M. Rabe
Charles Staats
M. Jamnik
Christian Szegedy
AI4CE
112
158
0
25 May 2022