mccaffary / GPT-4-Domain-Specific-LanguageLinks
Exploring GPT-4 (OpenAI) with a novel DSL (domain-specific language)
☆25Updated 2 years ago
Alternatives and similar repositories for GPT-4-Domain-Specific-Language
Users that are interested in GPT-4-Domain-Specific-Language are comparing it to the libraries listed below
Sorting:
- Exploring ChatGPT (OpenAI) with a novel DSL (domain-specific language)☆46Updated 2 years ago
- ☆22Updated last year
- LMQL implementation of tree of thoughts☆36Updated 2 years ago
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆45Updated 5 months ago
- Cognitive Computing with Associative Memory☆37Updated 2 years ago
- Analyzing and scoring reasoning traces of LLMs☆47Updated last year
- This repository explains and provides examples for "concept anchoring" in GPT4.☆71Updated 2 years ago
- Meta-prompt: a simple self-improving language agent☆90Updated 2 years ago
- Allows Aider to use CEDARScript as an edit format☆30Updated last year
- An AI agent for interacting with a computer using the graphical user interface☆78Updated 2 years ago
- Convert Python code into JSON consumable by OpenAI's function API.☆29Updated 2 years ago
- Problem solving by engaging multiple AI agents in conversation with each other and the user.☆238Updated 2 years ago
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆284Updated last year
- ☆19Updated 2 years ago
- GPT-based language channel for NARS (ONA)☆38Updated last year
- Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…☆42Updated 2 months ago
- Causal DAG Extraction from Text (DEFT)☆66Updated last year
- Using Langroid's Multi-Agent Framework to Build LLM Apps☆147Updated 7 months ago
- Experiments on Aider Extensions☆13Updated last year
- LILO: Library Induction with Language Observations☆90Updated 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…☆83Updated last year
- ☆33Updated 8 months ago
- A strongly typed Python DSL for developing message passing multi agent systems☆53Updated last year
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆46Updated 2 years ago
- Certified Reasoning with Language Models☆31Updated 2 years ago
- ☆29Updated last year
- Prototype advanced LLM algorithms for reasoning and planning.☆99Updated last year
- ☆190Updated last year
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆189Updated last week
- ☆276Updated 2 years ago