Viewing a single comment thread. View all comments

neuralbeans t1_is71aaq wrote

Is what you do a translation from specification to code? What is your profession exactly? How have you been doing this task before deep learning was a thing?

2

evanthebouncy OP t1_is76k7z wrote

more than translation per se. in real life, when you're given a specification, it is rare you can directly translate it into a solution in a 1:1 mapping. typically, you have to _search_ for a solution.

before deep learning, the search can be performed by enumeration/back-tracking solver. various SAT engines (miniSAT, z3) were used to effectively (not by today's standard) find a solution within the search space.

5

r4and0muser9482 t1_is7bnn8 wrote

Just as a caveat, translation is not a 1-1 mapping either. But I get your point.

1

YouAgainShmidhoobuh t1_is9mo5a wrote

Prolog as program synthesis is a one I’ve not heard yet, but it does make sense

1