structuredllm / itergenLinks
Iterate on LLM-based structured generation forward and backward
☆21Updated 5 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☆292Updated last week
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆70Updated 8 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 4 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆70Updated 3 months ago
- ☆21Updated 3 years ago
- General-purpose program synthesiser☆47Updated 10 months ago
- LLM Program Watermarking☆18Updated last year
- [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code☆79Updated last year
- ☆71Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆50Updated last year
- [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository☆66Updated last year
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆52Updated last year
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆39Updated 5 months ago
- AskIt: Unified programming interface for programming with LLMs (GPT-3.5, GPT-4, Gemini, Claude, Cohere, Llama 2)☆79Updated 8 months ago
- 🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers☆123Updated 5 months ago
- ☆18Updated last year
- ☆53Updated 6 months ago
- Training and Benchmarking LLMs for Code Preference.☆35Updated 10 months ago
- EvoEval: Evolving Coding Benchmarks via LLM☆76Updated last year
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆66Updated 4 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated 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
- LLMs + Lean, on your laptop or in the cloud☆177Updated 2 months ago
- RepoQA: Evaluating Long-Context Code Understanding☆117Updated 10 months ago
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆56Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆35Updated 4 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 weeks ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- A certifier for bias in LLMs☆23Updated 5 months ago
- This repository contains all the code for collecting large scale amounts of code from GitHub.☆110Updated 2 years ago