activity
20202025
most citedLambdaNet: Probabilistic Type Inference using Graph Neural Networks

47 citations · 54 across the 7 of their papers we have counts for

collaborators

7 papers

cs.SE2025

cAST: Enhancing Code Retrieval-Augmented Generation with Structural Chunking via Abstract Syntax Tree

Yilin Zhang, Xinran Zhao, Zora Zhiruo Wang +3

Retrieval-Augmented Generation (RAG) has become essential for large-scale code generation, grounding predictions in external code corpora to improve actuality. However, a critical…

cs.SE2023★ 1 cited

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing

Jiayi Wei, Greg Durrett, Isil Dillig

Developers often dedicate significant time to maintaining and refactoring existing code. However, most prior work on generative models for code focuses solely on creating new code,…

cs.SE2023★ 4 cited

TypeT5: Seq2seq Type Inference using Static Analysis

Jiayi Wei, Greg Durrett, Isil Dillig

There has been growing interest in automatically predicting missing type annotations in programs written in Python and JavaScript. While prior methods have achieved impressive accu…

cs.RO2023★ 2 cited

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations

Jimmy Xin, Linus Zheng, Kia Rahmani +4

Imitation Learning (IL) is a promising paradigm for teaching robots to perform novel tasks using demonstrations. Most existing approaches for IL utilize neural networks (NN), howev…

cs.RO2022

STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations

Jiayi Wei, Jarrett Holtz, Isil Dillig +1

Accurate kinodynamic models play a crucial role in many robotics applications such as off-road navigation and high-speed driving. Many state-of-the-art approaches in learning stoch…

cs.RO2021

OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation

Jiayi Wei, Tongrui Li, Swarat Chaudhuri +2

We propose a new algorithm to simplify the controller development for distributed robotic systems subject to external observations, disturbances, and communication delays. Unlike p…

cs.PL2020★ 47 cited

LambdaNet: Probabilistic Type Inference using Graph Neural Networks

Jiayi Wei, Maruth Goyal, Greg Durrett +1

As gradual typing becomes increasingly popular in languages like Python and TypeScript, there is a growing need to infer type annotations automatically. While type annotations help…