200 citations · 288 across the 7 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.SE2023★ 1 cited
Type Prediction With Program Decomposition and Fill-in-the-Type Training
Federico Cassano, Ming-Ho Yee, Noah Shinn +2
TypeScript and Python are two programming languages that support optional type annotations, which are useful but tedious to introduce and maintain. This has motivated automated typ…
cs.CL2023★ 200 cited
StarCoder: may the source be with you!
Raymond Li, Loubna Ben Allal, Yangtian Zi +64
The BigCode community, an open-scientific collaboration working on the responsible development of Large Language Models for Code (Code LLMs), introduces StarCoder and StarCoderBase…
cs.SE2023★ 6 cited
Do Machine Learning Models Produce TypeScript Types That Type Check?
Ming-Ho Yee, Arjun Guha
Type migration is the process of adding types to untyped code to gain assurance at compile time. TypeScript and other gradual type systems facilitate type migration by allowing pro…