Publications

Papers presenting the outcomes of the project

Publications in 2024

Rethinking Causal Relationships Learning in Graph Neural Networks
Gao, H., Yao, C., Li, J., Si, L., Jin, Y., Wu, F., Zheng, C., Liu, H.
AAAI Conference on Artificial Intelligence (AAAI) (2024)
Fengge Wu
RulePrompt: Weakly Supervised Text Classification with Prompting PLMs and Self-Iterative Logical Rules
Li, M., Zhu, J., Wang, Y., Yang, Y., Li, Y., Wang, H.
ACM Web Conference (WWW) (2024)
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks
Ma, J., Yang, P., Wang, J., Sun, Y., Huang, C. C., Wang, Z.
IEEE/ACM International Conference on Software Engineering (ICSE) (2024)
Optimal Robust Memorization with ReLU Neural Networks
Yu, L., Gao, X., Zhang, L.
International Conference on Learning Representations (ICLR) (2024)
Lijun Zhang

Publications in 2023

Learning In-context Learning for Named Entity Recognition
Chen, J., Lu, Y., Lin, H., Lou, J., Jia, W., Dai, D., Wu, H., Cao B., Han, X., Sun, L.
Annual Meeting of the Association for Computational Linguistics (ACL) (2023)
Xianpei Han
Lower Bounds for Possibly Divergent Probabilistic Programs
Feng, S., Chen, M., Su, H., Kaminski, B. L., Katoen, J. P., Zhan, N.
Proceedings of the ACM on Programming Languages (OOPSLA) (2023)
Naijun Zhan
Robust Causal Graph Representation Learning against Confounding Effects
Gao, H., Li, J., Qiang, W., Si, L., Xu, B., Zheng, C., Sun, F.
AAAI Conference on Artificial Intelligence (AAAI) (2023)
When to Update Your Model: Constrained Model-based Reinforcement Learning
Ji, T., Luo, Y., Sun, F., Jing, M., He, F., Huang, W.
Advances in Neural Information Processing Systems (NeurIPS) (2023)
Mingxuan Jing
Randomized Adversarial Training via Taylor Expansion
Jin, G., Yi, X., Wu, D., Mu, R., Huang, X.
IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) (2023)
Simulation-based Validation for Autonomous Driving Systems
Li, C., Sifakis, J., Wang, Q., Yan, R., Zhang, J.
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (2023)
Accurate Fairness: Improving Individual Fairness without Trading Accuracy
Li, X., Wu, P., Su, J.
AAAI Conference on Artificial Intelligence (AAAI) (2023)
CL-WSTC: Continual Learning for Weakly Supervised Text Classification on the Internet
Li, M., Zhu, J., Yang, X., Yang, Y., Gao, Q., Wang, H.
ACM Web Conference (WWW) (2023)
Jiaqi Zhu
Dimensionality Reduction for General KDE Mode Finding
Luo, X., Musco, C., Widdershoven, C.
Proceedings of Machine Learning Research (PMLR) (2023)
ChallengeDetect: Investigating the Potential of Detecting In-Game Challenge Experience from Physiological Measures
Peng, X., Xie, X., Huang, J., Jiang, C., Wang, H., Denisova, A., Chen, H., Tian, F., Wang, H.
CHI Conference on Human Factors in Computing Systems (CHI) (2023)
Feng Tian
Model Predictive Control with Reach-Avoid Analysis
Ren, D., Lu, W., Lv, J., Zhang, L., Xue, B.
International Joint Conference on Artificial Intelligence (IJCAI) (2023)
Lijun Zhang Bai Xue
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations
Xue, B., Zhan, N., Fränzle, M.
IEEE Transactions on Automatic Control (TAC) (2023)
Bai Xue Naijun Zhan
Reach-avoid Verification Based on Convex Optimization
Xue, B., Zhan, N., Fränzle, M., Wang, J., Liu, W.
IEEE Transactions on Automatic Control (TAC) (2023)
Bai Xue Naijun Zhan
Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
Zhang, X., Cai, Y.
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (2023)
Shape-Adaptive Ternary-Gaussian Model: Modeling Pointing Uncertainty for Moving Targets of Arbitrary Shapes
Zhang, H., Huang, J., Tu, H., Tian, F.
CHI Conference on Human Factors in Computing Systems (CHI) (2023)
Feng Tian
A unified user behavior model for trajectory-based tasks with different types of path constraints
Zhang, H., Huang, J., Tu, H., Tian, F., Dai, G., Wang, H.
Science China Information Sciences (SCIS) (2023)
Feng Tian
TRAJPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
Zhang, L., Xu, N., Yang, P., Jin, G., Huang, C. C., Zhang, L.
IEEE/CVF International Conference on Computer Vision (ICCV) (2023)
Lijun Zhang

Publications in 2022

Outer-approximation of Controlled Reach-avoid Sets for Polynomial Systems
Zhao, C., Fan, C., Xue, B.
IEEE Conference on Decision and Control (CDC) (2022)
Bai Xue
Inner-approximating Robust Reach-avoid Sets for Discrete-time Polynomial Dynamical Systems
Zhao, C., Zhang, S., Wang, L., Xue, B.
IEEE Transactions on Automatic Control (TAC) (2022)
Bai Xue