LLM sampling method for enforcing syntax adherence in generated output
☆25May 31, 2023Updated 3 years ago
Alternatives and similar repositories for Syntactically-Constrained-Sampling
Users that are interested in Syntactically-Constrained-Sampling are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- T5Patches is a set of tools for fast and targeted editing of generative language models built with T5X.☆12May 31, 2024Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆19Jul 22, 2021Updated 5 years ago
- Adaptive Passage Encoder for Open-domain Question Answering☆15Jun 1, 2021Updated 5 years ago
- A Julia package for BDD and OBDD☆12Oct 27, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Explanation Ontology Resource website☆13Jun 8, 2024Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)☆142Jul 31, 2026Updated 3 months ago
- Thinking through AI agents and the neuro-symbolic definition from an early LLM agent paper called MRKL. I'm sharing my reasoning behind u…☆12Nov 23, 2024Updated last year
- Acceleration of word2vec using GPU☆13Jan 25, 2017Updated 9 years ago
- A WGAN-GP that utilizes a compositional pattern producing network as the generator☆11Sep 9, 2021Updated 5 years ago
- A pytorch implementation of spiral++☆11Mar 8, 2022Updated 4 years ago
- An R package to help assess the sensitivity of a Bayesian model (fitted with Stan) to the specification of its likelihood and priors☆11May 29, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Aug 9, 2024Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 5 years ago
- ☆59Mar 7, 2025Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆37Jan 1, 2024Updated 2 years ago
- EnterpriseBench is a comprehensive framework designed to evaluate Large Language Model (LLM) agents within realistic enterprise environme…☆14Sep 15, 2026Updated last month
- TransformerDB☆19Apr 22, 2021Updated 5 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- A customizable AI chat application powered by Flet.☆11Jun 4, 2025Updated last year
- ☆10Dec 27, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Sep 29, 2021Updated 5 years ago
- Logic Reinforcement Learning☆21Oct 20, 2025Updated last year
- repository for multishot system builder prototype☆17Jul 21, 2022Updated 4 years ago
- officer package tutorial☆13Jan 17, 2019Updated 7 years ago
- The rendered ebook lives here: https://solomon.quarto.pub/sr2rstan/☆10Jan 27, 2026Updated 9 months ago
- Guide to Spatial Data Analysis and Mapping Using R☆11Feb 26, 2020Updated 6 years ago
- Utilities to develop an engine using luigi☆10Oct 8, 2026Updated 3 weeks ago
- Project to prepare a n-triples wikidata dump for QA access.☆22Nov 16, 2022Updated 3 years ago
- ☆11Jun 3, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆14Feb 1, 2024Updated 2 years ago
- NAACL'2021: Non-Parametric Few-Shot Learning for Word Sense Disambiguation☆10Jul 1, 2021Updated 5 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆34Sep 23, 2026Updated last month
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆29Feb 10, 2025Updated last year
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Code to compute a word's probability using the fixes from "How to Compute the Probability of a Word"☆12Oct 14, 2024Updated 2 years ago
- Templates etc. for creating experiments using Ibex Farm.☆11Jul 21, 2018Updated 8 years ago