ALGOGEN: Tool-Generated Verifiable Traces for Reliable Algorithm Visualization. - Kunpeng Liao; Yuexiao Ma; Yisheng Lin; Hualin Zeng; Xiawu Zheng; Rongrong Ji (CoRR, 2026)