SyGuS

The 'SyGuS' dataset/benchmark contains synthesis problems that are used to evaluate program synthesis techniques, particularly those involving expressions and their semantics.

Papers using SyGuS (3)

Just-in-Time Learning for Bottom-Up Enumerative Synthesis2020 · 31 citesBUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration2020 · 5 citesSemantics-Guided Synthesis2020