gpoesia / certified-reasoningLinks
Certified Reasoning with Language Models
☆31Updated 2 years ago
Alternatives and similar repositories for certified-reasoning
Users that are interested in certified-reasoning are comparing it to the libraries listed below
Sorting:
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆30Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆140Updated 8 months ago
- ☆105Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- LILO: Library Induction with Language Observations☆90Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- Harmonic Datasets☆52Updated last year
- LLM verified with Monte Carlo Tree Search☆284Updated 9 months ago
- Use context-free grammars with an LLM☆175Updated last year
- Learning Universal Predictors☆81Updated last year
- ☆125Updated last year
- Probabilistic programming with large language models☆156Updated last month
- MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…☆183Updated 2 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆43Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated 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…☆82Updated last year
- Functional Benchmarks and the Reasoning Gap☆89Updated last year
- ☆35Updated 2 years ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆132Updated last year
- Mixing Language Models with Self-Verification and Meta-Verification☆111Updated last year
- ☆45Updated 2 years ago
- Approximating the joint distribution of language models via MCTS☆22Updated last year
- ☆74Updated 2 years ago
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆83Updated 2 years ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- ModuleFormer is a MoE-based architecture that includes two different types of experts: stick-breaking attention heads and feedforward exp…☆226Updated 4 months ago
- Code to create bugged python scripts for OpenAssistant Training, maintained by https://twitter.com/Cyndesama☆24Updated 2 years ago
- A Python library for automatically solving Abstraction and Reasoning Corpus (ARC) challenges using Claude and object-centric modeling.☆25Updated last year
- ☆133Updated last year
- Evaluation of neuro-symbolic engines☆41Updated last year