Interactive Program Synthesis for Modeling Collaborative Physical Activities from Narrated Demonstrations. - Edward Kim 005; Daniel He; Jorge Chao; Wiktor Rajca; Mohammed Amin; Nishant Malpani; Ruta Desai; Antti Oulasvirta; Bjoern Hartmann; Sanjit A. Seshia (CoRR, 2025)