List your company

C-RASP

Benchmarks

TaskDatasetSOTA resultTrendResults
C-RASP Synthesis Benchmark Suite Regular, Counting, and Context-free Languages
27Synthesis Result Score
34