@misc{indiciaecf759b4d162d, title = {A Computer-Assisted Proof of Speed Monotonicity for the Biased Random Walk on a Galton-Watson Tree Beyond the Known Range}, author = {Madhulatha Mandarapu and Sandeep Kunkunuru}, year = {2026}, url = {https://arxiv.org/abs/2609.29894}, note = {Source identifier: 2609.29894} }