Searching for Programmatic Policies in Semantic Spaces

arXiv:2405.05431v1 Announce Type: new
Abstract: Syntax-guided synthesis is commonly used to generate programs encoding policies. In this approach, the set of programs, that can be written in a domain-specific language defines the search space, and an algorithm searches within this space for programs that encode strong policies. In this paper, we propose an alternative method for synthesizing programmatic policies, where we search within an approximation of the language's semantic space. We hypothesized that searching in semantic spaces is more sample-efficient …

abstract algorithm arxiv cs.lg cs.pl domain encode encoding generate language paper policies programmatic search searching semantic set space spaces syntax synthesis type