structuredllm / itergenLinks
Iterate on LLM-based structured generation forward and backward
☆15Updated 2 months ago
Alternatives and similar repositories for itergen
Users that are interested in itergen are comparing it to the libraries listed below
Sorting:
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆20Updated this week
- Efficient and general syntactical decoding for Large Language Models☆272Updated this week
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 3 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆84Updated 4 years ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 3 weeks ago
- FANC is a tool for the proof transfer of incomplete verification☆11Updated 3 years ago
- Code for "Typilus: Neural Type Hints" PLDI 2020☆60Updated 2 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆95Updated 4 years ago
- LLM Program Watermarking☆17Updated last year
- General-purpose program synthesiser☆45Updated 7 months ago
- Loop invariant generation with LLMs☆23Updated 3 months ago
- ☆52Updated 3 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 weeks ago
- ☆50Updated last month
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated 2 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆56Updated last year
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆47Updated 11 months ago
- ☆21Updated last year
- ☆19Updated 2 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆62Updated 3 weeks ago
- ☆20Updated 3 years ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆17Updated last year
- Heavyweight Python dynamic analysis framework☆13Updated last year
- Training language models to make programs faster☆89Updated last year
- Utilities for constructing a large dataset of LLVM IR☆21Updated this week
- ☆26Updated this week
- CAV'22 paper to speed up Neural Network Verification.☆14Updated 2 years ago
- ☆15Updated last year