ResearchBenchmarksInformal to Formal Translation on Instruction Induction (test)Informal to Formal Translation on Instruction Induction (test)Follow61.26Mean ScorePE248.332851.688955.04558.4011Nov 9, 2023Evaluation resultsMethodMethodLinksMean ScoreStd DevPE22023.1161.264.73APE2023.1159.533.37APO2023.1154.110.61Iter. APE2023.1148.835.83