Analytical Lyapunov Function Discovery: An RL-based Generative Approach