GammaTauAI / opentauLinks
Using Large Language Models for Repo-wide Type Prediction
☆109Updated last year
Alternatives and similar repositories for opentau
Users that are interested in opentau are comparing it to the libraries listed below
Sorting:
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆59Updated last year
- Use context-free grammars with an LLM☆169Updated last year
- ☆49Updated 3 weeks ago
- Chat Markup Language conversation library☆55Updated last year
- ☆32Updated 2 years ago
- Prototype advanced LLM algorithms for reasoning and planning.☆96Updated 10 months ago
- Because it's there.☆16Updated 8 months ago
- LLM sampling method for enforcing syntax adherence in generated output☆24Updated 2 years ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- Structured inference with Llama 2 in your browser☆52Updated 7 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 …☆22Updated 8 months ago
- GPU accelerated client-side embeddings for vector search, RAG etc.☆66Updated 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…☆72Updated 5 months ago
- ☆35Updated 2 years ago
- A library for incremental loading of large PyTorch checkpoints☆56Updated 2 years ago
- ☆52Updated 2 months ago
- ☆39Updated 2 years ago
- Inference Llama 2 in one file of zero-dependency, zero-unsafe Rust☆38Updated last year
- Training hybrid models for dummies.☆21Updated 4 months ago
- A Python library for automatically solving Abstraction and Reasoning Corpus (ARC) challenges using Claude and object-centric modeling.☆22Updated 4 months ago
- Harness used to benchmark aider against SWE Bench benchmarks☆72Updated 11 months ago
- Certified Reasoning with Language Models☆31Updated last year
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- Codebase topic modeling using GNNs(Node aggregation and clustering)☆60Updated last year
- ☆38Updated 10 months ago
- CrustAGI is an Task-driven Autonomous Agent experiment written in Rust☆44Updated 2 years ago
- LILO: Library Induction with Language Observations☆86Updated 9 months ago
- Approximating the joint distribution of language models via MCTS☆21Updated 7 months ago
- This repository has code for fine-tuning LLMs with GRPO specifically for Rust Programming using cargo as feedback☆92Updated 2 months ago
- Converts JSON-Schema to GBNF grammar to use with llama.cpp☆55Updated last year