文章
103
标签
6
分类
0
LinLi's Blog
Typilus: Neural Type Hints
发表于
2023-05-19
|
更新于
2023-05-24
|
阅读量:
Hey, password is required here.
文章作者:
Lin Li
文章链接:
http://example.com/2023/05/19/Typilus-Neural-Type-Hints/
版权声明:
本博客所有文章除特别声明外，均采用
CC BY-NC-SA 4.0
许可协议。转载请注明来自
LinLi's Blog
！
论文阅读
上一篇
Type4py practical deep similarity learning-based type inference for python
下一篇
Deep Learning Type Inference
相关推荐
2023-03-04
PLUMBER
2023-03-08
通过NPM生态系统的依赖树揭开脆弱性传播及其演化的神秘面纱
2023-04-03
Flexible and Optimal Dependency Management via Max-SMT
2023-04-11
What the Fork Finding Hidden Code Clones in npm
2023-04-12
Static Type Inference for Foreign Functions of Python
2023-04-13
Where to Start Studying Type Annotation Practices in Python
Lin Li
今日事，今日毕
文章
103
标签
6
分类
0
Follow Me
公告
This is my Blog
目录
1.
Typilus: Neural Type Hints
1.1.
Basic Information:
1.2.
INTRODUCTION:
1.3.
Summary:
1.4.
Background:
1.5.
Methods:
1.5.1.
Overview
1.5.2.
The Deep Learning Model
1.5.3.
Typilus: A Python Implementation
1.6.
Evaluation:
1.6.1.
6.1 Quantitative Evaluation
1.6.2.
6.2 Ablation Analysis
1.6.3.
6.3 Correctness Modulo Type Checker
1.7.
Conclusion:
最新文章
SMT Solver Validation Empowered by Large Pre-trained Language Models
2024-10-19
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
2024-10-13
Domain Adaptation for Code Model-Based Unit Test Case Generation
2024-10-12
LPR: Large Language Models-Aided Program Reduction
2024-10-10
Understanding and Detecting SQL Function Bugs
2024-10-04
