gpoesia / certified-reasoningLinks
Certified Reasoning with Language Models
☆31Updated last year
Alternatives and similar repositories for certified-reasoning
Users that are interested in certified-reasoning are comparing it to the libraries listed below
Sorting:
- A domain-specific probabilistic programming language for modeling and inference with language models☆137Updated 6 months ago
- ☆104Updated 10 months ago
- Harmonic Datasets☆51Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- LILO: Library Induction with Language Observations☆88Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆79Updated 11 months ago
- Probabilistic programming with large language models☆143Updated this week
- ☆35Updated 2 years ago
- Use context-free grammars with an LLM☆175Updated last year
- ☆124Updated last year
- LLM verified with Monte Carlo Tree Search☆282Updated 7 months ago
- Learning Universal Predictors☆81Updated last year
- An environment for learning formal mathematical reasoning from scratch☆69Updated last year
- TART: A plug-and-play Transformer module for task-agnostic reasoning☆200Updated 2 years ago
- ☆73Updated 2 years ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆128Updated last year
- MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…☆181Updated last week
- ☆126Updated 10 months ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆280Updated last year
- LMQL implementation of tree of thoughts☆34Updated last year
- Just a bunch of benchmark logs for different LLMs☆118Updated last year
- Prototype advanced LLM algorithms for reasoning and planning.☆96Updated last year
- Functional Benchmarks and the Reasoning Gap☆89Updated last year
- Steer LLM outputs towards a certain topic/subject and enhance response capabilities using activation engineering by adding steering vecto…☆248Updated 9 months ago
- Based on the tree of thoughts paper☆48Updated 2 years ago
- Evaluation of neuro-symbolic engines☆39Updated last year
- Approximating the joint distribution of language models via MCTS☆22Updated last year
- LLMs + Lean, on your laptop or in the cloud☆192Updated last month