We propose a neural network method for the generation of symbolic expressions using reinforcement learning. Usually, the symbolic form expressed in terms of a calculus (propositional, first-order, lambda, etc.) is deemed comprehensible by humans and it is necessary as far as the acceptance of...