Certified Reasoning with Language Models
☆31Dec 6, 2023Updated 2 years ago
Alternatives and similar repositories for certified-reasoning
Users that are interested in certified-reasoning are comparing it to the libraries listed below
Sorting:
- An environment for learning formal mathematical reasoning from scratch☆72Aug 18, 2024Updated last year
- Compute the most likely permutation of a lattice given an LM☆10Jan 3, 2013Updated 13 years ago
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- ☆19Nov 6, 2024Updated last year
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆21Jun 16, 2025Updated 8 months ago
- E-commerce intelligent search platform. Pinecone/Devpost Hackathon 2023.☆16Aug 30, 2025Updated 6 months ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- A strongly typed Python DSL for developing message passing multi agent systems☆53Apr 9, 2024Updated last year
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Mar 24, 2022Updated 3 years ago
- ☆18Oct 16, 2022Updated 3 years ago
- Plug in and Play implementation of "Certified Reasoning with Language Models" that elevates model reasoning by 40%☆16Jun 20, 2023Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆142Apr 29, 2025Updated 10 months ago
- ☆24Feb 26, 2023Updated 3 years ago
- Relational Programming in miniKanren☆52Jun 25, 2015Updated 10 years ago
- Python S-expression emulation using tuple-like objects.☆25Oct 20, 2025Updated 4 months ago
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆59Feb 9, 2024Updated 2 years ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated last year
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆29Jun 30, 2025Updated 8 months ago
- Tools for an Aesara-based PPL.☆67Oct 28, 2024Updated last year
- Synthetic Hypertext and Homomorphic Catalogue☆15Dec 28, 2024Updated last year
- Probabilistic programming with large language models☆160Nov 18, 2025Updated 3 months ago
- ☆44Feb 26, 2026Updated last week
- Computing with Eigenvalue Distributions of Large Random Matrices of the Covariance Type☆15Feb 16, 2018Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Simple demo of SolidJS in Meteor☆13Mar 5, 2025Updated last year
- ☆14Mar 10, 2021Updated 4 years ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- Swift implementation of multihash☆15May 9, 2023Updated 2 years ago
- Collection of iPython notebooks with some quick demos☆11May 25, 2017Updated 8 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- A package that makes inferring Builder types easy.☆11Jul 29, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- ⚡ FutureGPT - Application development framework that connects GPT-4 with external data, the internet, other applications and language mod…☆12May 14, 2023Updated 2 years ago
- An open-source logical data modeler to support the model driven data engineering approach.☆15Feb 25, 2026Updated last week