HARP: Hadamard-Domain Write-and-Verify for Noise-Robust RRAM Programming. - Ilhuan Choi; Jiwon Yoo; Yoona Lee; Yewon Jeong; Jason Jaesung Lee; Woo-Seok Choi (CoRR, 2026)