gpoesia / certified-reasoning
Certified Reasoning with Language Models
☆27Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for certified-reasoning
- A strongly typed Python DSL for developing message passing multi agent systems☆50Updated 7 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…☆57Updated last month
- look how they massacred my boy☆58Updated last month
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆47Updated 9 months ago
- ☆48Updated last year
- ☆74Updated 3 weeks ago
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆81Updated last year
- A Framework For Intelligence Farming☆13Updated 6 months ago
- ☆20Updated 2 weeks ago
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆69Updated last year
- ☆72Updated last year
- Functional Benchmarks and the Reasoning Gap☆78Updated last month
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆24Updated 8 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆93Updated 3 months ago
- Full finetuning of large language models without large memory requirements☆93Updated 10 months ago
- Mixing Language Models with Self-Verification and Meta-Verification☆97Updated last year
- Prototype advanced LLM algorithms for reasoning and planning.☆94Updated 3 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆60Updated 6 months ago
- ☆57Updated 11 months ago
- LMQL implementation of tree of thoughts☆33Updated 9 months ago
- ☆34Updated last year
- This repository explains and provides examples for "concept anchoring" in GPT4.☆72Updated 10 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆37Updated last year
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆128Updated 3 weeks ago
- Steer LLM outputs towards a certain topic/subject and enhance response capabilities using activation engineering by adding steering vecto…☆203Updated 6 months ago
- Parameter-Efficient Sparsity Crafting From Dense to Mixture-of-Experts for Instruction Tuning on General Tasks☆31Updated 6 months ago
- ☆20Updated last year
- Just a bunch of benchmark logs for different LLMs☆115Updated 3 months ago
- LILO: Library Induction with Language Observations☆78Updated 2 months ago