structuredllm / itergenLinks
Iterate on LLM-based structured generation forward and backward
☆17Updated 4 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☆283Updated this week
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆39Updated 3 months ago
- ☆67Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆68Updated last month
- General-purpose program synthesiser☆46Updated 9 months ago
- 🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers☆123Updated 3 months ago
- ☆20Updated 3 years ago
- RepoQA: Evaluating Long-Context Code Understanding☆113Updated 9 months ago
- [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code☆76Updated last year
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- EvoEval: Evolving Coding Benchmarks via LLM☆76Updated last year
- ☆17Updated last year
- Training and Benchmarking LLMs for Code Preference.☆34Updated 8 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆31Updated 2 years ago
- [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository☆64Updated 11 months ago
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆47Updated last year
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…☆21Updated last week
- Mining tool and large-scale datasets of single statement bug fixes in Python☆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
- LLM Program Watermarking☆17Updated last year
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆48Updated last year
- Semantic Code Search☆35Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 2 months ago
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆151Updated 9 months ago
- Incremental Python parser for constrained generation of code by LLMs.☆18Updated 10 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆69Updated 6 months ago
- ☆21Updated last year
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆23Updated 3 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆84Updated 4 years ago
- Releasing code for "ReCode: Robustness Evaluation of Code Generation Models"☆52Updated last year