MrVPlusOne / LambdaNet
Probabilistic Type Inference using Graph Neural Networks
☆48Updated last year
Related projects ⓘ
Alternatives and complementary repositories for LambdaNet
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 2 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆59Updated last year
- an implementation of "code2vec: Learning Distributed Representations of Code"☆29Updated 4 months ago
- Code for ICML 2021 paper: How could Neural Networks understand Programs?☆122Updated this week
- Contains the code for our ICSE 2020 paper: Big Code != Big Vocabulary: Open-Vocabulary Language Models for Source Code and for its earlie…☆83Updated last year
- CFG based program similarity using Graph Neural Networks☆34Updated last year
- Re-implementation of "CODE2SEQ: GENERATING SEQUENCES FROM STRUCTURED REPRESENTATIONS OF CODE"☆44Updated 3 months ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆85Updated 3 years ago
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆18Updated 2 years ago
- A toolkit for pre-processing large source code corpora☆46Updated 2 years ago
- Recent Advances in Programming Language Pre-Trained Models (PL-PTMs)☆57Updated 2 years ago
- [AAAI 2021] - TreeCaps: Tree-based Capsule Network for Source Code Processing☆22Updated last year
- Contrastive Code Representation Learning: functionality-based JavaScript embeddings through self-supervised learning☆166Updated 2 years ago
- ☆19Updated last year
- ML models often mispredict, and it is hard to tell when and why. We present a data mining based approach to discover whether there is a c…☆18Updated 2 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 3 years ago
- C# Data Extraction for "Learning to Represent Edits"☆27Updated 6 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 2 years ago
- ☆23Updated last year
- Code for "Learning Structural Edits via Incremental Tree Transformations" (ICLR'21)☆40Updated 3 years ago
- VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning☆38Updated last year
- Mining tool and large-scale datasets of single statement bug fixes in Python☆15Updated 11 months ago
- the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)☆32Updated 6 years ago
- ☆17Updated 2 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆29Updated last year
- Code for "Generative Code Modeling with Graphs" (ICLR'19)☆170Updated last year
- Code for "Deep Graph Matching and Searching for Semantic Code Retrieval"☆24Updated 3 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated last year