Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Program Synthesis on C-RASP Synthesis Benchmark Suite Regular, Counting, and Context-free Languages

27Synthesis Result Score

C-RASP

-0.046.981421.02Feb 18, 2026
Updated 4d ago

Evaluation Results

MethodLinks
2026.02
27--63.990.8
2026.02
27--153.546.9
2026.02
22--88.742.4
2026.02
22----
2026.02
22--79.159.8
2026.02
21--27.741.7
2026.02
21--91.346.4
2026.02
21--33.658.3
2026.02
21--50.252
2026.02
17----
2026.02
15----
2026.02
12----
2026.02
12--9.229.7
2026.02
12----
2026.02
11--7.746.8
2026.02
11--68.548.2
2026.02
9--4.819.9
2026.02
9--78.438.3
2026.02
6--2.212.5
2026.02
6--2.212.5
2026.02
5--1.411.2
2026.02
4--110
2026.02
4--4813.6
2026.02
3----
2026.02
2----
2026.02
2----
2026.02
2--185.76.3
2026.02
1--10.28.9
2026.02
1--15.58.3
2026.02
1--14510.4
2026.02
1--61.48.9
2026.02
1--133.712
2026.02
1--28.98.3
2026.02
1--279.418.3
2026.02
-13.92--
2026.02
-124.62--
2026.02
-180.05--
2026.02
-11.57--
2026.02
-117.35--
2026.02
-16.02--
2026.02
-14.62--
2026.02
-113.3--
2026.02
-159.06--
2026.02
-12.26--
2026.02
-11.54--
2026.02
-11.32--
2026.02
-13.45--
2026.02
-13.03--
2026.02
-121.32--
2026.02
-19.32--
2026.02
-17.2--