ReDemon UI: Reactive Synthesis by Demonstration for Web UI. - Jay Lee; Gyuhyeok Oh; Joongwon Ahn; Xiaokang Qiu (CoRR, 2025)