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:
- A domain-specific probabilistic programming language for modeling and inference with language models☆132Updated 2 months ago
- Harmonic Datasets☆40Updated last year
- ☆86Updated 6 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Probabilistic programming with large language models☆124Updated last month
- Learning Universal Predictors☆77Updated 11 months ago
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆82Updated last year
- Use context-free grammars with an LLM☆170Updated last year
- An environment for learning formal mathematical reasoning from scratch☆71Updated 10 months ago
- LLM verified with Monte Carlo Tree Search☆276Updated 3 months ago
- ☆122Updated 11 months ago
- A Framework For Intelligence Farming☆14Updated 3 months ago
- ☆47Updated last year
- Functional Benchmarks and the Reasoning Gap☆88Updated 9 months ago
- Just a bunch of benchmark logs for different LLMs☆119Updated 11 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…☆177Updated last week
- Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks☆31Updated last year
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆55Updated last year
- LILO: Library Induction with Language Observations☆88Updated 10 months ago
- Extract full next-token probabilities via language model APIs☆247Updated last year
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆190Updated last year
- ☆74Updated last year
- ☆35Updated 2 years ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆264Updated 8 months ago
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆69Updated last year
- Factored Cognition Primer: How to write compositional language model programs☆49Updated 2 years ago
- ReLM is a Regular Expression engine for Language Models☆106Updated 2 years ago
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆74Updated 6 months ago