LambdaNet: Probabilistic Type Inference using Graph Neural Networks J Wei, M Goyal, G Durrett, I Dillig ICLR 2020, 2020 | 125 | 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 | 47 | 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 | 27 | 2019 |
TypeT5: Seq2seq Type Inference using Static Analysis J Wei, G Durrett, I Dillig ICLR 2023, 2023 | 13 | 2023 |
Coeditor: Leveraging Repo-level Diffs for Code Auto-editing J Wei, G Durrett, I Dillig The Twelfth International Conference on Learning Representations, 0 | 5* | |
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 | 3 | 2022 |
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 | 3 | 2021 |
Combining static analysis with deep learning for type inference and code editing J Wei | | 2023 |