MultiSTOP: Solving Functional Equations with Reinforcement Learning. - Alessandro Trenta; Davide Bacciu; Andrea Cossu; Pietro Ferrero (CoRR, 2024)