structuredllm / itergenLinks
Iterate on LLM-based structured generation forward and backward
☆22Updated 10 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☆314Updated last month
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆51Updated last year
- ☆82Updated last year
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆48Updated 4 months ago
- Clover: Closed-Loop Verifiable Code Generation☆40Updated 8 months ago
- ☆44Updated 2 years ago
- ☆18Updated last year
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆42Updated last month
- [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository☆71Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 7 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year
- ☆21Updated 3 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated last year
- A scalable abstraction learning library☆83Updated 4 months ago
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆277Updated last year
- 🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers☆131Updated this week
- ☆112Updated last year
- Training and Benchmarking LLMs for Code Preference.☆37Updated last year
- RepoQA: Evaluating Long-Context Code Understanding☆128Updated last year
- ☆20Updated 3 years ago
- Training language models to make programs faster☆97Updated last year
- ☆127Updated 2 years ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆22Updated last week
- [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code☆80Updated last year
- Neural theorem proving tutorial, version II☆40Updated last year
- EvoEval: Evolving Coding Benchmarks via LLM☆80Updated last year
- ☆53Updated 10 months ago
- LLMs + Lean, on your laptop or in the cloud☆198Updated 3 months ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago