Switching Controller Synthesis for Hybrid Systems Against STL Formulas. - Han Su 003; Shenghua Feng; Sinong Zhan; Naijun Zhan (FM (2), 2024)

Shop-R1: Rewarding LLMs to Simulate Human Behavior in Online Shopping via Reinforcement Learning. - Yimeng Zhang; Tian Wang; Jiri Gesi; Ziyi Wang; Yuxuan Lu 003; Jiacheng Lin; Sinong Zhan; Vianne Gao; Ruochen Jiao; Junze Liu; Kun Qian; Yuxin Tang; et al. (CoRR, 2025)