LLM sampling method for enforcing syntax adherence in generated output
☆25May 31, 2023Updated 2 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
Sorting:
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 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
- ☆18May 10, 2024Updated last year
- Logic Reinforcement Learning☆21Oct 20, 2025Updated 4 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated 3 weeks ago
- ☆49Mar 7, 2025Updated 11 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 4 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- OpenMindedChatbot is a Proof Of Concept that leverages the power of Open source Large Language Models (LLM) with Function Calling capabil…☆30Dec 19, 2023Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)☆133Feb 20, 2026Updated last week
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- Supervised NN for pre-training. with group normalization and weight standardization☆30Feb 11, 2020Updated 6 years ago
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- A mod that enables AI to play the game TowerFall Ascension.☆14Aug 22, 2023Updated 2 years ago
- ☆14Updated this week
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- ☆14Jan 11, 2021Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 7 years ago
- "Space-Time Interpolation and Forecasting" - Predicting spatio-temporally distributed variables via space-time regression kriging using n…☆13Feb 12, 2025Updated last year
- GPUCorrel : A GPU accelerated Digital Image Correlation Software written in Python. To cite this Original Software Publication: https://w…☆11Sep 9, 2021Updated 4 years ago
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated last week
- ☆10Jun 21, 2024Updated last year
- ☆16Jun 10, 2024Updated last year
- Unofficial Colab on how to train DETR, the intelligent object detector, with your own dataset. DETR = Detection Transformer☆39Jun 29, 2020Updated 5 years ago
- Adaptive Sparse Coding☆10Sep 6, 2016Updated 9 years ago
- An example starting point monorepo for data sicence teams☆14Jun 27, 2023Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Enabling Live Migration for Computational Notebooks.☆14Mar 11, 2024Updated last year
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated 6 months ago