팔로우
Jiayi Wei
제목
인용
인용
연도
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
J Wei, M Goyal, G Durrett, I Dillig
ICLR 2020, 2020
1192020
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
462018
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
232019
TypeT5: Seq2seq Type Inference using Static Analysis
J Wei, G Durrett, I Dillig
ICLR 2023, 2023
112023
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing
J Wei, G Durrett, I Dillig
The Twelfth International Conference on Learning Representations, 2023
4*2023
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
32022
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
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations
J Xin, L Zheng
arXivorg, 2023
22023
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
2024
Combining static analysis with deep learning for type inference and code editing
J Wei
2023
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–10