Improving Human Verification of LLM Reasoning through Interactive Explanation Interfaces. - Runtao Zhou; Giang Nguyen 004; Nikita Kharya; Anh Totti Nguyen; Chirag Agarwal (CoRR, 2025)