Would it be possible to add some form of top-down deductive synthesis based on the structure of the input code? (Imperative code seems to give a better hint at the possible functions at play than functional code.) For example, if we see that the first line of code is var = 1, then we can only guess np.product.
(Picks up on #55.)
Would it be possible to add some form of top-down deductive synthesis based on the structure of the input code? (Imperative code seems to give a better hint at the possible functions at play than functional code.) For example, if we see that the first line of code is
var = 1, then we can only guessnp.product.(Picks up on #55.)