ResearchBenchmarksProgram Synthesis on SLIA (String Linear Integer Arithmetic)Follow0Phone-3 Long ScoreASAP-0.001-0.000500.0005May 31, 2024Evaluation ResultsMethodMethodLinksPhone-3 Long ScoreName Combine 2 Short ScoreName Combine 2 Long Repeat ScoreName Combine 4 Short ScoreName Combine 4 Long ScoreLastname ScoreFirstname ScoreFirstname Small ScoreReverse Name Long ScoreUniv 1 ScoreUniv 1 Short ScoreUniv 2 Short ScoreDR Name ScoreInitials Small ScoreInitials Long ScoreInitials Long Repeat ScoreASAP2024.0501710——2851,9601,7541,981676050357695403GCD2024.0503190——1,5261,9971,9971,859401,85901,6543631,5840