TY  - RPRT
TI  - A Computer-Assisted Proof of Speed Monotonicity for the Biased Random Walk on a Galton-Watson Tree Beyond the Known Range
AU  - Madhulatha Mandarapu
AU  - Sandeep Kunkunuru
PY  - 2026
UR  - https://arxiv.org/abs/2609.29894
ID  - 2609.29894
ER  -