A bottom-up synthesizer for two very small target languages.

python bustle.py int [arg1, arg2, expected_answer] [arg1, arg2, expected_answer] [more input examples if necessary...]

The target Arithmetic DSL is a super simple subset of python integer operations, i.e. [ADD, MULTIPLY, DIVIDE]. The DSL contains the following expressions and constants: [x, y, 0, 1, 2, 3].

Results are here: https://github.com/ChloeL19/BabySynth/blob/main/integer_samples.txt

python bustle.py int [1,1,2] [2,3,5] [7,4,11] [-1,1,0]

python bustle.py int [2,3,8] [1,2,5] [-1,2,3]

python bustle.py int [1,1,2] [0,-5,0] [8,10789,16]

python bustle.py int [2,2,1] [4,2,2] [39,3,13]

python bustle.py int [9,3,12] [33,4,15] [27,54,63] [-3,4,3] [0,1,1]

Warning: This last one takes a very long time to run. Because I am not using any fancy heuristics for the search.

python bustle.py string [arg1, arg2, expected_answer] [arg1, arg2, expected_answer] [more input examples if necessary...]

The target String DSL is a super simple subset of python string operations, i.e. [CONCAT, GETFIRST (slice off the first letter of the string), TITLE (capitalize the first letter of the string)]. The DSL contains the following expressions and constants: [s1, s2, ""a"", ""A""].

Results are here: https://github.com/ChloeL19/BabySynth/blob/main/string_samples.txt

python bustle.py string [hi,H] [bye,B] [chloe,C]

python bustle.py string [hi,Hi] [hey,Hey] [woo,Woo]

python bustle.py string [cow,boy,Cowboy] [big,city,Bigcity] [hullah,baloo,Hullahbaloo]

python bustle.py string [cow,boy,c] [big,city,b] [hullah,baloo,h]

python bustle.py string [cow,boy,CB] [big,city,BC] [hullah,baloo,HB]

This one takes a while! Great motivation for developing a better pruning and/or heuristics strategy, but alas I don't have time. The one tweak I did make is that on every iteration I reverse the order in which I traverse the operations list. This seemed to help a bit.

My code is not incredibly general; it is hard-coded in some sense to work with operations that expect a certain number of arguments. Also the way I pass environments to the evaluation function is kinda jank.