Guangyu Hu

Personalized communication skills can transform agentic recommender systems, leading to significant improvements in recommendation accuracy by leveraging diverse user insights.

Forbench achieves significant speed-ups in symbolic verification while maintaining coverage, making formal methods more accessible to engineers accustomed to traditional simulation workflows.