5 ms·

I recently tried to find out what the current SOTA of program synthesis via I/O examples is but was unable to find current benchmarks or examples of what's poss

I recently tried to find out what the current SOTA of program synthesis via I/O examples is but was unable to find current benchmarks or examples of what's possible. I was interested in synthesising high-level logic. Is this a collections of classics or SOTA? Anybody here with some experience in this area?

lorisdanto 6y ago
It's a list I made for helping students finding ideas for projects in my synthesis course. It's not meant to be comprehensive. I's say it's SOTA in each of those fields though since I tried to pick recent papers.