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:
- A domain-specific probabilistic programming language for modeling and inference with language models☆137Updated 7 months ago
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- ☆105Updated 11 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Harmonic Datasets☆52Updated last year
- ☆124Updated 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…☆182Updated last month
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆131Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- LILO: Library Induction with Language Observations☆88Updated last year
- Use context-free grammars with an LLM☆175Updated last year
- Experiments for efforts to train a new and improved t5☆76Updated 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…☆81Updated 11 months ago
- An environment for learning formal mathematical reasoning from scratch☆70Updated last year
- LLM verified with Monte Carlo Tree Search☆283Updated 8 months ago
- Functional Benchmarks and the Reasoning Gap☆90Updated last year
- Code repository for the c-BTM paper☆108Updated 2 years ago
- ☆35Updated 2 years ago
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆83Updated 2 years ago
- ☆74Updated 2 years ago
- Just a bunch of benchmark logs for different LLMs☆119Updated last year
- Learning Universal Predictors☆81Updated last year
- This repository contains all the code for collecting large scale amounts of code from GitHub.☆110Updated 2 years ago
- Approximating the joint distribution of language models via MCTS☆22Updated last year
- ☆45Updated 2 years ago
- ReLM is a Regular Expression engine for Language Models☆107Updated 2 years ago
- Prototype advanced LLM algorithms for reasoning and planning.☆98Updated last year
- gzip Predicts Data-dependent Scaling Laws☆34Updated last year
- Multi-Domain Expert Learning☆67Updated last year
- Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks☆31Updated last year