View of Evaluating the Accuracy of Autoformalization Techniques

Return to Issue Details Evaluating the Accuracy of Autoformalization Techniques Download Download PDF