paper-with-me

Papers

DLTPy: Deep Learning Type Inference of Python Function Signatures using Natural Language Context

2019-12-02 · Casper Boone, Niels de Bruin, Arjan Langerak, Fabian Stelmach

Due to the rise of machine learning, Python is an increasingly popular programming language. Python, however, is dynamically typed. Dynamic typing has shown to have drawbacks when a project grows, while at the same time it improves developer productivity. To have the benefits of static typing, combined with high developer productivity, types need to be inferred. In this paper, we present DLTPy: a deep learning type inference solution for the prediction of types in function signatures based on the natural language context (identifier names, comments and return expressions) of a function. We found that DLTPy is effective and has a top-3 F1-score of 91.6%. This means that in most of the cases the correct type is within the top-3 predictions. We conclude that natural language contained in comments and return expressions are beneficial to predicting types more accurately. DLTPy does not significantly outperform or underperform the previous work NL2Type for Javascript, but does show that similar prediction is possible for Python.

📄 PDF Abstract BibTeX arXiv:1912.00680

Code (1)

casperboone/dltpy 공식 구현

Similar Papers 제목 키워드 기반

The DynaSig-ML Python package: automated learning of biomolecular dynamics-function relationships

2022-07-07 · Olivier Mailhot, Francois Major, Rafael Najmanovich

Summary: The DynaSig-ML (Dynamical Signatures - Machine Learning) Python package allows the efficient, user-friendly exploration of 3D dynamics-function relationships in biomolecules, using datasets of experimental measu…

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories

2025-07-28 · Honghua Dong, Jiacheng Yang, Xun Deng, Yuhe Jiang 외 arxiv

Type inference for dynamic languages like Python is a persistent challenge in software engineering. While large language models (LLMs) have shown promise in code understanding, their type inference capabilities remain un…

cgSpan: Pattern Mining in Conceptual Graphs

2021-10-26 · Adam Faci, Marie-Jeanne Lesot, Claire Laudy

Conceptual Graphs (CGs) are a graph-based knowledge representation formalism. In this paper we propose cgSpan a CG frequent pattern mining algorithm. It extends the DMGM-GSM algorithm that takes taxonomy-based labeled gr…

ManyTypes4Py: A Benchmark Python Dataset for Machine Learning-based Type Inference

2021-04-10 · Amir M. Mir, Evaldas Latoskinas, Georgios Gousios

In this paper, we present ManyTypes4Py, a large Python dataset for machine learning (ML)-based type inference. The dataset contains a total of 5,382 Python projects with more than 869K type annotations. Duplicate source …

BIG-bench Machine LearningVocal Bursts Type Prediction

Learning to Represent Programs with Property Signatures

2020-02-13 · ICLR 2020 1 · Augustus Odena, Charles Sutton

We introduce the notion of property signatures, a representation for programs and program specifications meant for consumption by machine learning algorithms. Given a function with input type $\tau_{in}$ and output type …

Vocal Bursts Type Prediction