Efficient and general syntactical decoding for Large Language Models
☆324Jan 19, 2026Updated last month
Alternatives and similar repositories for syncode
Users that are interested in syncode are comparing it to the libraries listed below
Sorting:
- 🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers☆132Jan 13, 2026Updated last month
- A certifier for bias in LLMs☆25Apr 11, 2025Updated 10 months ago
- A curated list of papers related to constrained decoding of LLM, along with their relevant code and resources.☆325Jan 22, 2026Updated last month
- Generate interleaved text and image content in a structured format you can directly pass to downstream APIs.☆29Oct 18, 2024Updated last year
- ☆17Dec 24, 2023Updated 2 years ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆25Feb 10, 2025Updated last year
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- A guide to structured generation using constrained decoding☆14Jun 9, 2024Updated last year
- ☆49Mar 7, 2025Updated 11 months ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- Structured Generation Evals☆14Sep 25, 2024Updated last year
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆82Jun 11, 2025Updated 8 months ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated last year
- A python library to manipulate formal languages and various automata☆59Sep 4, 2025Updated 5 months ago
- ☆78Jan 22, 2026Updated last month
- Formatron empowers everyone to control the format of language models' output with minimal overhead.☆234Jun 7, 2025Updated 8 months ago
- Incremental Python parser for constrained generation of code by LLMs.☆18Sep 18, 2024Updated last year
- A Rocq version of the miniF2F dataset☆23Oct 27, 2025Updated 4 months ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated 10 months ago
- ☆105Jan 6, 2025Updated last year
- f-PO: Generalizing Preference Optimization with f-divergence Minimization☆13Apr 2, 2025Updated 10 months ago
- Use `outlines` generators with Haystack.☆15Updated this week
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Nov 13, 2023Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- Faster structured generation☆276Jan 26, 2026Updated last month
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- ☆10Mar 1, 2025Updated last year
- FANC is a tool for the proof transfer of incomplete verification☆12Mar 20, 2022Updated 3 years ago
- ☆10Oct 28, 2024Updated last year
- ☆13Dec 31, 2023Updated 2 years ago
- Factor Graph Grammars in Python☆13Jan 17, 2026Updated last month
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- Different approaches for finetuning, evaluating, optimizations for code generation model - codestral☆11Jun 18, 2024Updated last year
- ☆10Apr 21, 2024Updated last year
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- ☆83May 10, 2024Updated last year
- EvoEval: Evolving Coding Benchmarks via LLM☆81Apr 6, 2024Updated last year