Techniques for generating source code are included herein in which a set of semantic rules for the source code may be received. Also, a set of initialization values may be received, wherein the set of initialization values comprises a set of input values and a set of output values. Furthermore, a weighted data structure may be generated. In addition, the source code may be generated based on the weighted data structure and the set of semantic rules. The source code can also be determined to have an accuracy above a threshold based at least in part on the set of initialization values and an output value from the source code. Additionally, the source code can be returned based on the set of initialization values.