structuredllm / itergenLinks
Iterate on LLM-based structured generation forward and backward
☆22Updated 8 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☆305Updated last week
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆42Updated 2 weeks ago
- [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository☆68Updated last year
- Training language models to make programs faster☆96Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆79Updated 5 months ago
- Clover: Closed-Loop Verifiable Code Generation☆37Updated 6 months ago
- EvoEval: Evolving Coding Benchmarks via LLM☆80Updated last year
- [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code☆80Updated last year
- 🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers☆130Updated 8 months ago
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…☆22Updated 3 months ago
- ☆75Updated last year
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated 10 months ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆22Updated this week
- Training and Benchmarking LLMs for Code Preference.☆37Updated last year
- [NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation☆63Updated 2 months ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆32Updated 2 years ago
- ☆111Updated last year
- RepoQA: Evaluating Long-Context Code Understanding☆125Updated last year
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆51Updated 7 months ago
- ☆21Updated 3 years ago
- ☆18Updated last year
- ☆127Updated 2 years ago
- A certifier for bias in LLMs☆24Updated 7 months ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆48Updated last year
- ☆15Updated last year
- Generative model for code infilling and synthesis☆308Updated 2 years ago
- LLM Program Watermarking☆18Updated last year
- [ICML '24] R2E: Turn any GitHub Repository into a Programming Agent Environment☆136Updated 7 months ago
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆161Updated last year