gpoesia / certified-reasoningLinks
Certified Reasoning with Language Models
☆31Updated 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:
- ☆105Updated 11 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆140Updated 7 months ago
- Harmonic Datasets☆52Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- LILO: Library Induction with Language Observations☆88Updated 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…☆183Updated last month
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- ☆74Updated 2 years ago
- LLM verified with Monte Carlo Tree Search☆284Updated 8 months ago
- Experiments for efforts to train a new and improved t5☆76Updated last year
- Scaling is a distributed training library and installable dependency designed to scale up neural networks, with a dedicated module for tr…☆66Updated last month
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆81Updated last year
- Learning Universal Predictors☆81Updated last year
- Use context-free grammars with an LLM☆175Updated last year
- Probabilistic programming with large language models☆154Updated last month
- ☆45Updated 2 years ago
- LLM sampling method for enforcing syntax adherence in generated output☆25Updated 2 years ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Evaluation of neuro-symbolic engines☆40Updated last year
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆133Updated last year
- look how they massacred my boy☆63Updated last year
- Just a bunch of benchmark logs for different LLMs☆119Updated last year
- Minimal open-source implementation of AlphaProof [WIP]☆42Updated this week
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 10 months ago
- ☆40Updated last year
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆70Updated 2 years ago
- ☆125Updated last year
- TART: A plug-and-play Transformer module for task-agnostic reasoning☆202Updated 2 years ago