structuredllm / itergenLinks
Iterate on LLM-based structured generation forward and backward
☆15Updated 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☆278Updated 2 weeks ago
- FANC is a tool for the proof transfer of incomplete verification☆11Updated 3 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆84Updated 4 years ago
- Seq2seq Type Inference using Static Analysis and CodeT5☆31Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆35Updated last month
- Loop invariant generation with LLMs☆23Updated 3 months ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆20Updated this week
- ☆17Updated last year
- LLM Program Watermarking☆17Updated last year
- A certifier for bias in LLMs☆23Updated 2 months ago
- Heavyweight Python dynamic analysis framework☆13Updated last year
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Updated last year
- ☆19Updated 2 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated last month
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 5 months 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
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 3 years ago
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆49Updated 2 months ago
- ☆16Updated 8 months ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆60Updated 2 years ago
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆39Updated 2 months ago
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆33Updated 11 months ago
- Allows to check regexes for overlaps. Based on greenery by @qntm.☆53Updated 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…☆19Updated this week
- Code2Inv: Learning Loop Invariants for Program Verification☆96Updated 4 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- General-purpose program synthesiser☆45Updated 8 months ago
- ☆64Updated last year
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆62Updated last month
- Language models for Coq based on data collected from the coq lsp.☆16Updated 3 weeks ago