GammaTauAI / opentau
Using Large Language Models for Repo-wide Type Prediction
☆97Updated last year
Alternatives and similar repositories for opentau:
Users that are interested in opentau are comparing it to the libraries listed below
- ☆34Updated last year
- Use context-free grammars with an LLM☆167Updated 9 months ago
- Chat Markup Language conversation library☆55Updated last year
- ☆74Updated last year
- Certified Reasoning with Language Models☆30Updated last year
- Papers discussed in the Auto-GPT Reading Group☆42Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆60Updated 8 months ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆26Updated last month
- LILO: Library Induction with Language Observations☆81Updated 4 months ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- 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 3 months ago
- An example implementation of RLHF (or, more accurately, RLAIF) built on MLX and HuggingFace.☆22Updated 6 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…☆62Updated last month
- a curated list of data for reasoning ai☆118Updated 5 months ago
- Aider's refactoring benchmark exercises based on popular python repos☆51Updated 3 months ago
- This repository contains all the code for collecting large scale amounts of code from GitHub.☆105Updated last year
- Codebase topic modeling using GNNs(Node aggregation and clustering)☆61Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆51Updated 9 months ago
- LLM Optimize is a proof-of-concept library for doing LLM (large language model) guided blackbox optimization.☆53Updated last year
- ☆31Updated last year
- ☆75Updated last year
- CrustAGI is an Task-driven Autonomous Agent experiment written in Rust☆43Updated last year
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆114Updated 7 months ago
- LLM sampling method for enforcing syntax adherence in generated output☆22Updated last year
- A library for incremental loading of large PyTorch checkpoints☆56Updated last year