TY  - RPRT
TI  - The SyGuS Language Standard Version 2.1
AU  - Saswat Padhi
AU  - Elizabeth Polgreen
AU  - Mukund Raghothaman
AU  - Andrew Reynolds
AU  - Abhishek Udupa
PY  - 2023
UR  - https://arxiv.org/abs/2312.06001
ID  - 2312.06001
ER  -