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:
- ☆90Updated 7 months ago
- Harmonic Datasets☆46Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆133Updated 4 months ago
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- ☆123Updated 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…☆180Updated last month
- Experiments for efforts to train a new and improved t5☆76Updated last year
- Approximating the joint distribution of language models via MCTS☆21Updated 10 months ago
- LILO: Library Induction with Language Observations☆88Updated 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…☆76Updated 8 months ago
- Use context-free grammars with an LLM☆172Updated last year
- LLM verified with Monte Carlo Tree Search☆281Updated 5 months ago
- Scaling is a distributed training library and installable dependency designed to scale up neural networks, with a dedicated module for tr…☆64Updated 10 months ago
- ReLM is a Regular Expression engine for Language Models☆106Updated 2 years ago
- ☆35Updated 2 years ago
- look how they massacred my boy☆64Updated 10 months ago
- Learning Universal Predictors☆79Updated last year
- Evaluation of neuro-symbolic engines☆39Updated last year
- A Collection of Pydantic Models to Abstract IRL☆20Updated last month
- ☆46Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Probabilistic programming with large language models☆134Updated last month
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Functional Benchmarks and the Reasoning Gap☆88Updated 11 months ago
- TART: A plug-and-play Transformer module for task-agnostic reasoning☆200Updated 2 years ago
- LLM sampling method for enforcing syntax adherence in generated output☆25Updated 2 years ago
- Probabilistic LLM evaluations. [CogSci2023; ACL2023]☆73Updated last year
- Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks☆31Updated last year
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆83Updated last year