List your company
ResearchFormerly WizWand

End-to-end Translation on GLTL

99.8AccuracyGraFT
20.03240.74161.4582.159Dec 18, 2025
Updated 8mo ago

Evaluation results

MethodLinks
GraFTData Quantity=2000, AP Lifting Model=BERT, Translation Model=T52025.1299.8
NL2TLData Quantity=2000, AP Lifting Model=GPT-4o-mini, Translation Model=T52025.1297.4
NL2TLData Quantity=2000, AP Lifting Model=GPT-4, Translation Model=T52025.1296.2
GraFTData Quantity=500, AP Lifting Model=BERT, Translation Model=T52025.1291.5
NL2TLData Quantity=500, AP Lifting Model=GPT-4o-mini, Translation Model=T52025.1283.8
NL2TLData Quantity=500, AP Lifting Model=GPT-4, Translation Model=T52025.1282.6
NL2LTLData Quantity=-, AP Lifting Model=None, Translation Model=GPT-4o-mini2025.1274.4
NL2SpecData Quantity=-, AP Lifting Model=None, Translation Model=GPT-4o-mini2025.1268.4
GraFTTraining Data=CW+GLTL2025.1256.2
Ungrounded Seq2SeqData Quantity=2000, AP Lifting Model=-, Translation Model=T52025.1255.9
GraFTTraining Data=GLTL+Navi2025.1248.3
Ungrounded Seq2SeqData Quantity=500, AP Lifting Model=-, Translation Model=T52025.1246.8
NL2TLTraining Data=CW+GLTL2025.1245.3
NL2TLTraining Data=GLTL+Navi2025.1244
GraFTTraining Data=CW+Navi2025.1241.1
NL2TLTraining Data=CW+Navi2025.1223.1