Jiayi Wei
Cited by
Cited by
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
J Wei, M Goyal, G Durrett, I Dillig
ICLR 2020, 2020
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
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
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation
J Wei, T Li, S Chaudhuri, I Dillig, J Biswas
arXiv preprint arXiv:2104.06588, 2021
The system can't perform the operation now. Try again later.
Articles 1–4