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:
- 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
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Trimmed-down Scala : get the language without the runtime !☆17Feb 27, 2013Updated 13 years ago
- Explanation Ontology Resource website☆13Jun 8, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 4 months ago
- Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)☆142Jul 31, 2026Updated 2 months ago
- ☆58Mar 7, 2025Updated last year
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 11 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 5 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 4 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆37Jan 1, 2024Updated 2 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆10Jun 28, 2022Updated 4 years ago
- ☆12Sep 29, 2021Updated 5 years ago
- ☆14Feb 1, 2024Updated 2 years ago
- repository for multishot system builder prototype☆17Jul 21, 2022Updated 4 years ago
- ☆12Dec 19, 2023Updated 2 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Jan 23, 2017Updated 9 years ago
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆28Feb 10, 2025Updated last year
- ☆14Mar 25, 2023Updated 3 years ago
- Templates etc. for creating experiments using Ibex Farm.☆11Jul 21, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Atlas of Pidgin and Creole Language Structures☆16Sep 30, 2026Updated last week
- term-tools☆17Jun 25, 2026Updated 3 months ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 8 months ago
- ☆11Nov 20, 2020Updated 5 years ago
- Code for NeurIPS 2024 paper "A SARS-CoV-2 Interaction Dataset and VHH Sequence Corpus for Antibody Language Models"☆17Oct 17, 2024Updated last year
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 6 years ago
- a Pandoc template for a beamer poster, ideally to be used with RStudio's knitr/pandoc/latex build chain.☆14Nov 25, 2016Updated 9 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- Repo for "An empirically-driven guide on using Bayes Factors for M/EEG decoding"☆13Nov 2, 2022Updated 3 years 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.
- ☆14Oct 30, 2023Updated 2 years ago
- ☆10Mar 5, 2024Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆35Jun 8, 2021Updated 5 years ago
- Code to reproduce the experiments in the paper: Does CLIP Bind Concepts? Probing Compositionality in Large Image Models.☆16Oct 14, 2023Updated 2 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Network app for ocr capcha☆10Mar 27, 2021Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago