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 4 months ago
- Harmonic Datasets☆38Updated 9 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆129Updated last week
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆69Updated 4 months ago
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆82Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆52Updated last year
- ☆73Updated last year
- Functional Benchmarks and the Reasoning Gap☆85Updated 7 months ago
- LILO: Library Induction with Language Observations☆86Updated 8 months ago
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆53Updated last year
- gzip Predicts Data-dependent Scaling Laws☆34Updated 11 months ago
- Track the progress of LLM context utilisation☆54Updated 3 weeks ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Full finetuning of large language models without large memory requirements☆94Updated last year
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Updated 2 months ago
- ☆20Updated 6 months ago
- ☆48Updated last year
- look how they massacred my boy☆63Updated 6 months ago
- Probabilistic LLM evaluations. [CogSci2023; ACL2023]☆73Updated 9 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆122Updated 10 months ago
- ☆35Updated 2 years ago
- ReLM is a Regular Expression engine for Language Models☆104Updated 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…☆171Updated last week
- A Framework For Intelligence Farming☆14Updated last month
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated last year
- A repository of projects and datasets under active development by Alignment Lab AI☆22Updated last year
- ☆22Updated last year
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆69Updated last year
- ☆38Updated 9 months ago