Jiayi Wei

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 23

Top Topics

Logical Inference

Controller Synthesis

Background Model

Top Venues

Publications

Kanqi Wang, Lianting Zhong, Jiayi Wei, Xiaowei Lu, Ying Wang, Yuqing Ding, Yang Zhao, Gang Liu, Jianjun Zhou
Unsupervised multimodal abdominal tumor registration based on prototype alignment. Biomed. Signal Process. Control. 97 (2024)
Jimmy Xin, Linus Zheng, Kia Rahmani, Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations. IEEE Robotics Autom. Lett. 9 (6) (2024)
Jiayi Wei, Xin Wang, Hongping Guo, Ling Zhang, Yao Shi, Xiao Wang
Subclassification of lung adenocarcinoma through comprehensive multi-omics data to benefit survival outcomes. Comput. Biol. Chem. 112 (2024)
Jiayi Wei, Greg Durrett, Isil Dillig
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing. ICLR (2024)
Jiayi Wei, Greg Durrett, Isil Dillig
TypeT5: Seq2seq Type Inference using Static Analysis. ICLR (2023)
Jiayi Wei, Jiong Chen, Damien Rohmer, Pooran Memari, Mathieu Desbrun
Robust Pointset Denoising of Piecewise-Smooth Surfaces through Line Processes. Comput. Graph. Forum 42 (2) (2023)
Jiayi Wei, Greg Durrett, Isil Dillig
Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing. CoRR (2023)
Jimmy Xin, Linus Zheng, Jiayi Wei, Kia Rahmani, Jarrett Holtz, Isil Dillig, Joydeep Biswas
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations. CoRR (2023)
Jiayi Wei, Greg Durrett, Isil Dillig
TypeT5: Seq2seq Type Inference using Static Analysis. CoRR (2023)
Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. CoRR (2022)
Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas
STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations. IROS (2022)
Si Chen, Chen Lin, Wanxian Guan, Jiayi Wei, Xingyuan Bu, He Guo, Hui Li, Xubin Li, Jian Xu, Bo Zheng
Visual Encoding and Debiasing for CTR Prediction. CoRR (2022)
Guoxuan Li, Songmao Zhang, Jiayi Wei, Wenqian Ye
Combining FCA-Map with representation learning for aligning large biomedical ontologies. OM@ISWC (2021)
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. IROS (2021)
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. CoRR (2021)
Jiayi Wei, Xilian Li, Yi Zhang, Xin Wang
Visual Question Rewriting for Increasing Response Rate. CoRR (2021)
Jiayi Wei, Xilian Li, Yi Zhang, Xin Eric Wang
Visual Question Rewriting for Increasing Response Rate. SIGIR (2021)
Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig
LambdaNet: Probabilistic Type Inference using Graph Neural Networks. CoRR (2020)
Jiayi Wei, Maruth Goyal, Greg Durrett, Isil Dillig
LambdaNet: Probabilistic Type Inference using Graph Neural Networks. ICLR (2020)
Ming-Ching Chang, Jiayi Wei, Zheng-An Zhu, Yan-Ming Chen, Chan-Shuo Hu, Ming-Xiu Jiang, Chen-Kuo Chiang
AI City Challenge 2019 - City-Scale Video Analytics for Smart Transportation. CVPR Workshops (2019)
Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig
Relational verification using reinforcement learning. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig
Singularity: pattern fuzzing for worst case complexity. ESEC/SIGSOFT FSE (2018)
Jiayi Wei, Jianfei Zhao, Yanyun Zhao, Zhicheng Zhao
Unsupervised Anomaly Detection for Traffic Surveillance Based on Background Modeling. CVPR Workshops (2018)