gpoesia / certified-reasoning
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
- ☆80Updated last month
- A strongly typed Python DSL for developing message passing multi agent systems☆52Updated 10 months ago
- ☆48Updated last year
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆69Updated last year
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆82Updated last year
- ☆48Updated 3 months ago
- look how they massacred my boy☆63Updated 4 months ago
- ☆74Updated last year
- Just a bunch of benchmark logs for different LLMs☆119Updated 6 months ago
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆64Updated 2 months ago
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆51Updated last year
- Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks☆31Updated 8 months ago
- An easy-to-understand framework for LLM samplers that rewind and revise generated tokens☆130Updated this week
- ☆37Updated 6 months ago
- Functional Benchmarks and the Reasoning Gap☆82Updated 4 months ago
- ☆20Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated 9 months ago
- ☆20Updated 3 months ago
- Full finetuning of large language models without large memory requirements☆93Updated last year
- Learning Universal Predictors☆74Updated 6 months ago
- Scaling is a distributed training library and installable dependency designed to scale up neural networks, with a dedicated module for tr…☆56Updated 3 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated last year
- A Framework For Intelligence Farming☆13Updated 9 months ago
- Harmonic Datasets☆36Updated 7 months ago
- ☆22Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆114Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆27Updated 11 months ago
- Chat Markup Language conversation library☆55Updated last year
- ☆24Updated last year
- Mixing Language Models with Self-Verification and Meta-Verification☆100Updated 2 months ago