List your company

Program Synthesis on Karel (test)

86.04Generalization AccuracyExec
76.763279.171681.5883.9884Jun 29, 2021

Evaluation results

MethodLinks
Execbeam size=642021.0686.0439.4
LaSynthbeam size=642021.0683.6841.12
Shin et al.beam size=642021.0681.342.8
Bunel et al.beam size=642021.0677.1232.17