Closed kevinyeeeee closed 1 year ago
Synthesis for numpy, using top-down enumeration with the following components:
start
expand
?_num -> sum(?_array)
?_array -> mul(?_array, ?_array), add(?_array, ?_array)
correct
unify
as well, added Cbr_numpy.Env.Np_env which contains an env for defns of numpy functions. Currently only has the definition for sum.
Cbr_numpy.Env.Np_env
env
defn
sum
Synthesis for numpy, using top-down enumeration with the following components:
startsymbol is a hole of type number, may want to allow starting hole type as an input in the futureexpandreplaces holes with the following rules:?_num -> sum(?_array),?_array -> mul(?_array, ?_array), add(?_array, ?_array)correctcanonicalizes using inlining and partial eval, and then runsunifyon target program and sketch.as well, added
Cbr_numpy.Env.Np_envwhich contains anenvfordefns of numpy functions. Currently only has the definition forsum.