What do you mean by “geometry of program synthesis”?
This is a research direction that dates back to Clift et al. 2021. For a more recent and introductory example, see this post by @Daniel Murfet. (Note: I’ve edited the announcement to remove explicit mention of geometry of program synthesis.)
What do you mean by “geometry of program synthesis”?
This is a research direction that dates back to Clift et al. 2021. For a more recent and introductory example, see this post by @Daniel Murfet.
(Note: I’ve edited the announcement to remove explicit mention of geometry of program synthesis.)