Follow
Jiayi Wei
Title
Cited by
Cited by
Year
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
J Wei, M Goyal, G Durrett, I Dillig
ICLR 2020, 2020
1302020
Singularity: Pattern fuzzing for worst case complexity
J Wei, J Chen, Y Feng, K Ferles, I Dillig
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
482018
Relational verification using reinforcement learning
J Chen, J Wei, Y Feng, O Bastani, I Dillig
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
282019
TypeT5: Seq2seq Type Inference using Static Analysis
J Wei, G Durrett, I Dillig
ICLR 2023, 2023
212023
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
J Wei, G Durrett, I Dillig
The Twelfth International Conference on Learning Representations, 0
7*
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations
J Xin, L Zheng, K Rahmani, J Wei, J Holtz, I Dillig, J Biswas
IEEE Robotics and Automation Letters, 2024
4*2024
Steady: Simultaneous state estimation and dynamics learning from indirect observations
J Wei, J Holtz, I Dillig, J Biswas
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022
42022
Onevision: Centralized to distributed controller synthesis with delay compensation
J Wei, T Li, S Chaudhuri, I Dillig, J Biswas
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021
32021
Combining static analysis with deep learning for type inference and code editing
J Wei
2023
The system can't perform the operation now. Try again later.
Articles 1–9