structuredllm / itergenLinks
Iterate on LLM-based structured generation forward and backward
☆17Updated 3 months ago
Alternatives and similar repositories for itergen
Users that are interested in itergen are comparing it to the libraries listed below
Sorting:
- Efficient and general syntactical decoding for Large Language Models☆279Updated this week
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆63Updated last month
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- ☆19Updated 3 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆84Updated 4 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 7 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 2 months ago
- LLM Program Watermarking☆17Updated last year
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆69Updated 6 months ago
- General-purpose program synthesiser☆46Updated 8 months ago
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆49Updated 3 months ago
- ☆124Updated 2 years ago
- Extract and combine multiple source code views using tree-sitter☆143Updated 2 months ago
- Generative model for code infilling and synthesis☆304Updated last year
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆21Updated this week
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆45Updated 6 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆36Updated 10 months ago
- Utilities for constructing a large dataset of LLVM IR☆21Updated last month
- Code for "Generative Code Modeling with Graphs" (ICLR'19)☆173Updated 2 years ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Updated last year
- Seq2seq Type Inference using Static Analysis and CodeT5☆31Updated 2 years ago
- [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code☆76Updated last year
- ☆65Updated last year
- ☆23Updated last week
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆55Updated last year
- Utilities used by the Deep Program Understanding team☆102Updated 2 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated 2 years ago
- ☆30Updated last year
- Language models for Coq based on data collected from the coq lsp.☆18Updated last month