Chuwei Wang

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Computational Framework

Satisfiability Problem

Top Venues

Publications

Ruichen Li, Chuwei Wang, Haotian Ye, Di He, Liwei Wang
DOF: Accelerating High-order Differential Operators with Forward Propagation. CoRR (2024)
Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. CoRR (2023)
Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CDC (2023)
Ruichen Li, Haotian Ye, Du Jiang, Xuelan Wen, Chuwei Wang, Zhe Li, Xiang Li, Di He, Ji Chen, Weiluo Ren, Liwei Wang
Forward Laplacian: A New Computational Framework for Neural Network-based Variational Monte Carlo. CoRR (2023)
Chuwei Wang, Shanda Li, Di He, Liwei Wang
Is $L^2$ Physics Informed Loss Always Suitable for Training Physics Informed Neural Network? NeurIPS (2022)
Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CoRR (2022)
Chuwei Wang, Shanda Li, Di He, Liwei Wang
Physics-Informed Loss Always Suitable for Training Physics-Informed Neural Network? CoRR (2022)