[HN Gopher] Introduction To Program Synthesis (2018)
       ___________________________________________________________________
        
       Introduction To Program Synthesis (2018)
        
       Author : optimalsolver
       Score  : 66 points
       Date   : 2021-08-07 16:44 UTC (6 hours ago)
        
 (HTM) web link (people.csail.mit.edu)
 (TXT) w3m dump (people.csail.mit.edu)
        
       | LondonGeorge wrote:
       | Is there a set of program synthesis problems (or a source of
       | problems) accepted by academics as a reasonable benchmark for
       | measuring progress these days? Or does each new approach find its
       | own example problems to demonstrate their particular differences
       | on?
        
         | daralthus wrote:
         | Perhaps https://ml4code.github.io/tags.html#benchmark
        
         | mechtaev wrote:
         | SyGuS competition (SyGuS-Comp)[1] is a widely-used collection
         | of such problems, but of course there will always be problem
         | domains that are not well-represented by standard benchmarks.
         | 
         | 1. https://sygus.org/
        
       | [deleted]
        
       ___________________________________________________________________
       (page generated 2021-08-07 23:00 UTC)