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:
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆81Updated 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…☆72Updated 5 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆130Updated last month
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated last year
- ☆48Updated last year
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆68Updated last year
- 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…☆59Updated 7 months ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Updated 3 months ago
- Full finetuning of large language models without large memory requirements☆93Updated last year
- look how they massacred my boy☆63Updated 7 months ago
- Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks☆31Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆62Updated last year
- Harmonic Datasets☆40Updated 10 months ago
- ☆38Updated 10 months ago
- ☆119Updated 9 months ago
- Approximating the joint distribution of language models via MCTS☆21Updated 7 months ago
- ☆72Updated last year
- Just a bunch of benchmark logs for different LLMs☆119Updated 10 months ago
- ☆60Updated last year
- ☆92Updated last year
- ☆83Updated 4 months ago
- MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…☆172Updated last week
- Functional Benchmarks and the Reasoning Gap☆86Updated 8 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆123Updated 11 months ago
- inference code for mixtral-8x7b-32kseqlen☆99Updated last year
- ☆111Updated 5 months ago
- A repository of prompts and Python scripts for intelligent transformation of raw text into diverse formats.☆30Updated 2 years ago
- ☆66Updated last year