Return Probability for the Switch--Walk--Switch Lamplighter Walk on a Regular Tree

AI use, as the source states it

“The proofs were generated by QED, a multi-agent system co-developed by the authors, without human intervention beyond the specification of the problem.”

Model: QED, as stated