gpoesia / certified-reasoningView external linksLinks
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:
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆30Feb 26, 2024Updated last year
- 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
- E-commerce intelligent search platform. Pinecone/Devpost Hackathon 2023.☆16Aug 30, 2025Updated 5 months ago
- A strongly typed Python DSL for developing message passing multi agent systems☆53Apr 9, 2024Updated last year
- ☆18Oct 16, 2022Updated 3 years ago
- ☆29Dec 15, 2025Updated 2 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Dec 30, 2018Updated 7 years ago
- Benchmark structured generation libraries☆30Oct 25, 2024Updated last year
- ☆24Feb 26, 2023Updated 2 years ago
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆59Feb 9, 2024Updated 2 years ago
- ☆28Mar 6, 2023Updated 2 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 7 months ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- ☆44Jan 15, 2026Updated 3 weeks ago
- Simple demo of SolidJS in Meteor☆13Mar 5, 2025Updated 11 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- ☆14Feb 2, 2025Updated last year
- ☆14Mar 10, 2021Updated 4 years ago
- Collection of iPython notebooks with some quick demos☆11May 25, 2017Updated 8 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- Integrating Symbolic Programming and Neuromorphic Modeling for Edge Labs with NVIDIA Jetson, DGX Spark, and GPU-based DNN/ML Systems☆15Jan 30, 2026Updated 2 weeks ago
- Computing with Eigenvalue Distributions of Large Random Matrices of the Covariance Type☆15Feb 16, 2018Updated 7 years ago
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- An open-source logical data modeler to support the model driven data engineering approach.☆15Updated this week
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆39Mar 6, 2023Updated 2 years ago
- AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.☆39Oct 23, 2023Updated 2 years ago
- Community guide for tracking Bun supports library / framework☆12Apr 27, 2023Updated 2 years ago
- Experimental implementations of several (over/under)-sampling techniques not yet available in the imbalanced-learn library.☆12May 8, 2023Updated 2 years ago
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- PKM + REPL + AI☆12Aug 2, 2024Updated last year
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- Reverse engineered the villager pypi package to github repo for analysis☆25Sep 20, 2025Updated 4 months ago
- Tools for quantum circuits synthesis, optimization and others.☆21Nov 18, 2025Updated 2 months ago