A method for processing formulae includes encoding a formula by: training, with a server, a model by using a machine learning algorithm with a data set that includes a plurality of formulae; transforming, with a processor, a first formula into a tree format using the trained model; converting, with the processor, the tree format of the first formula into a plurality of lists; and encoding, with the processor, the plurality of lists into a fixed dimension vector by leveraging a stacked attention module; and generating one or more formula candidates by: obtaining, with the processor, input information; and generating, with the processor, one or more second formula candidates based on input information by using the stacked attention module with a tree beam search algorithm.