GammaTauAI / opentau
Using Large Language Models for Repo-wide Type Prediction
☆96Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for opentau
- Use context-free grammars with an LLM☆163Updated 8 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
- 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
- Chat Markup Language conversation library☆54Updated 10 months ago
- LILO: Library Induction with Language Observations☆78Updated 2 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆110Updated 5 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆60Updated 6 months ago
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆40Updated 3 months ago
- ☆72Updated last year
- An example implementation of RLHF (or, more accurately, RLAIF) built on MLX and HuggingFace.☆21Updated 5 months ago
- Gödel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement☆46Updated 3 weeks ago
- Certified Reasoning with Language Models☆27Updated 11 months ago
- ☆34Updated last year
- Latent Large Language Models☆16Updated 2 months ago
- look how they massacred my boy☆58Updated last month
- Prototype advanced LLM algorithms for reasoning and planning.☆94Updated 3 months ago
- ☆10Updated last year
- Mixing Language Models with Self-Verification and Meta-Verification☆97Updated last year
- Command-line script for inferencing from models such as MPT-7B-Chat☆102Updated last year
- Harness used to benchmark aider against SWE Bench benchmarks☆53Updated 4 months ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆72Updated 10 months ago
- GPU accelerated client-side embeddings for vector search, RAG etc.☆63Updated 11 months ago
- ☆60Updated last year
- LMQL implementation of tree of thoughts☆33Updated 9 months ago
- A new way to generate large quantities of high quality synthetic data (on par with GPT-4), with better controllability, at a fraction of …☆21Updated last month
- An all-new Language Model That Processes Ultra-Long Sequences of 100,000+ Ultra-Fast☆137Updated 2 months ago
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆69Updated last year
- LLM verified with Monte Carlo Tree Search☆251Updated 2 months ago
- ☆33Updated last year