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:
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- ☆101Updated 9 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated 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…☆181Updated 2 months ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆136Updated 5 months ago
- Harmonic Datasets☆50Updated last year
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆41Updated last year
- Use context-free grammars with an LLM☆173Updated last year
- ☆123Updated last year
- LILO: Library Induction with Language Observations☆88Updated last year
- Learning Universal Predictors☆79Updated last year
- ☆35Updated 2 years ago
- LLM verified with Monte Carlo Tree Search☆281Updated 6 months ago
- Experiments for efforts to train a new and improved t5☆76Updated last year
- ☆74Updated 2 years ago
- Comprehensive analysis of difference in performance of QLora, Lora, and Full Finetunes.☆83Updated 2 years ago
- Just a bunch of benchmark logs for different LLMs☆119Updated last year
- ☆46Updated last year
- LLMs + Lean, on your laptop or in the cloud☆179Updated 2 months ago
- Approximating the joint distribution of language models via MCTS☆21Updated 11 months ago
- ☆40Updated last year
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆69Updated 2 years ago
- LLM sampling method for enforcing syntax adherence in generated output☆25Updated 2 years ago
- Track the progress of LLM context utilisation☆55Updated 5 months ago
- Probabilistic programming with large language models☆139Updated 2 months ago
- gzip Predicts Data-dependent Scaling Laws☆34Updated last year
- Multi-Domain Expert Learning☆66Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆274Updated 11 months ago