HF RL Explorer

construct/rlve recursive sequence sum

construct/rlve recursive sequence sum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Define the sequence F by F(0) = 9 and F(n) = 7 F(n - 1) + 3633 for every integer n = 1.

Part of amphora/MathConstructOptimize-Envs-harbor.