Wensen Mao

According to our database, Wensen Mao authored at least 5 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations.

Guofeng Cui, Yuning Wang, Wensen Mao, Yuanlin Duan, He Zhu

Proc. ACM Program. Lang., 2025

2024

Learning World Models for Unconstrained Goal Navigation.

Yuanlin Duan, Wensen Mao, He Zhu

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

RuleOut Forwarding Anomalies for SDN.

Shaoke Xi, Kai Bu, Wensen Mao, Xiaoyu Zhang, Kui Ren, Xinxin Ren

IEEE/ACM Trans. Netw., February, 2023

Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives.

Wenjie Qiu, Wensen Mao, He Zhu

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2019

Divide and Conquer: Efficient Multi-path Validation with ProMPV.

Anxiao He, Yubai Xie, Wensen Mao, Tienpei Yeh

Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Systems, 2019