Programming By Example (PBE) on SyGuS 3/1 budget-1
98.7Attacked AccuracyVanilla
Evaluation Results
| Method | Links | |
|---|---|---|
| Vanilla2026.07 | 98.7 | |
| Trimmed loss2026.07 | 98.7 | |
| H-R 0/1 bound2026.07 | 98.7 | |
| VPA2026.07 | 98.7 | |
| H-R edit distance2026.07 | 94.9 | |
| Subset vote2026.07 | 13.9 | |
| Leave-one-out vote2026.07 | 12.7 |