activity
20202026
most citedMyopically Verifiable Probabilistic Certificate for Long-term Safety

1 citations · 1 across the 10 of their papers we have counts for

collaborators

10 papers

cs.RO2026

Online Safety Filter for Deformable Object Manipulation with Horizon Agnostic Neural Operators

Jiaxing Li, Hanjiang Hu, Zhuoyuan Wang +2

Safety critical control of robotic manipulation tasks involving deformable media such as fluids, cloth, and soft objects remains challenging because existing learning based approac…

eess.SY2026

Fractional Risk Analysis of Stochastic Systems with Jumps and Memory

Yimeng Sun, Zhuoyuan Wang, Xiaole Zhang +4

Accurate risk assessment is essential for safety-critical autonomous and control systems under uncertainty. In many real-world settings, stochastic dynamics exhibit asymmetric jump…

cs.LG2026

OpInf-LLM: Parametric PDE Solving with LLMs via Operator Inference

Zhuoyuan Wang, Hanjiang Hu, Xiyu Deng +2

Solving diverse partial differential equations (PDEs) is fundamental in science and engineering. Large language models (LLMs) have demonstrated strong capabilities in code generati…

cs.DC2025

OSGym: Scalable OS Infra for Computer Use Agents

Zengyi Qin, Jinyuan Chen, Yunze Man +25

Training computer use agents requires full-featured OS sandboxes with GUI environments, which consume substantial hardware resources as the number of sandboxes scales. Stochastic e…

eess.SY2025

Safe Driving in Occluded Environments

Zhuoyuan Wang, Tongyao Jia, Pharuj Rajborirug +5

Ensuring safe autonomous driving in the presence of occlusions poses a significant challenge in its policy design. While existing model-driven control techniques based on set invar…

eess.SY2025

Multi-Level Multi-Fidelity Methods for Path Integral and Safe Control

Zhuoyuan Wang, Takashi Tanaka, Yongxin Chen +1

Sampling-based approaches are widely used in systems without analytic models to estimate risk or find optimal control. However, gathering sufficient data in such scenarios can be p…