News for hackers. Stuff that matters.

A comment on Introduction To Program Synthesis (2018).

Re:Introduction To Program Synthesis (2018) by LondonGeorge on Saturday August 07, 2021 @04:42PM (#28101653)
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?
[ Parent | on HN ]
Re:Introduction To Program Synthesis (2018) by mechtaev on Saturday August 07, 2021 @06:36PM (#28102504)
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/

[ Parent | on HN ]
Re:Introduction To Program Synthesis (2018) by daralthus on Saturday August 07, 2021 @06:33PM (#28102486)
Perhaps https://ml4code.github.io/tags.html#benchmark
[ Parent | on HN ]