allenai / codenav
CodeNav is an LLM agent that navigates and leverages previously unseen code repositories to solve user queries.
☆25Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for codenav
- Functional Benchmarks and the Reasoning Gap☆78Updated last month
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆22Updated last month
- Implementation of the paper: "AssistantBench: Can Web Agents Solve Realistic and Time-Consuming Tasks?"☆41Updated last month
- ☆41Updated 2 weeks ago
- ☆38Updated 4 months ago
- ☆48Updated last year
- Chat Markup Language conversation library☆54Updated 10 months ago
- Track the progress of LLM context utilisation☆53Updated 4 months ago
- ☆22Updated last year
- ☆37Updated 3 weeks ago
- LMQL implementation of tree of thoughts☆33Updated 9 months ago
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆128Updated last month
- ☆36Updated 3 months ago
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆47Updated 9 months ago
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆63Updated last month
- Tools to make language models a bit easier to use☆30Updated this week
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆57Updated 4 months ago
- NeurIPS 2023 - Cappy: Outperforming and Boosting Large Multi-Task LMs with a Small Scorer☆37Updated 7 months ago
- DSPy program/pipeline inspector widget for Jupyter/VSCode Notebooks.☆28Updated 9 months ago
- Mixing Language Models with Self-Verification and Meta-Verification☆97Updated last year
- The data and implementation for the experiments in the paper "Flows: Building Blocks of Reasoning and Collaborating AI".☆31Updated 9 months ago
- Accompanying code and SEP dataset for the "Can LLMs Separate Instructions From Data? And What Do We Even Mean By That?" paper.☆44Updated 5 months ago
- Gödel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement☆46Updated 3 weeks ago
- ☆27Updated last month
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆110Updated 5 months ago
- Zeus LLM Trainer is a rewrite of Stanford Alpaca aiming to be the trainer for all Large Language Models☆69Updated last year
- A re-implementation of Meta-Prompt in LangChain for building self-improving agents.☆60Updated last year
- Lightweight tools for quick and easy LLM demo's☆26Updated last month
- Small, simple agent task environments for training and evaluation☆16Updated 3 weeks ago