Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Program Synthesis on SLIA (String Linear Integer Arithmetic)
Loading...
0
Phone-3 Long Score
ASAP
-0.001
-0.0005
0
0.0005
May 31, 2024
Phone-3 Long Score
Name Combine 2 Short Score
Name Combine 2 Long Repeat Score
Name Combine 4 Short Score
Name Combine 4 Long Score
Lastname Score
Firstname Score
Firstname Small Score
Reverse Name Long Score
Univ 1 Score
Univ 1 Short Score
Univ 2 Short Score
DR Name Score
Initials Small Score
Initials Long Score
Initials Long Repeat Score
Updated 4d ago
Evaluation Results
Method
Method
Links
Phone-3 Long Score
Name Combine 2 Short Score
Name Combine 2 Long Repeat Score
Name Combine 4 Short Score
Name Combine 4 Long Score
Lastname Score
Firstname Score
Firstname Small Score
Reverse Name Long Score
Univ 1 Score
Univ 1 Short Score
Univ 2 Short Score
DR Name Score
Initials Small Score
Initials Long Score
Initials Long Repeat Score
ASAP
2024.05
0
171
0
-
-
285
1,960
1,754
1,981
67
605
0
357
69
540
3
GCD
2024.05
0
319
0
-
-
1,526
1,997
1,997
1,859
40
1,859
0
1,654
363
1,584
0
Feedback
Search any
task
Search any
task
