LLNL / AutoCogLinks
Automaton & Cognition
☆16Updated last year
Alternatives and similar repositories for AutoCog
Users that are interested in AutoCog are comparing it to the libraries listed below
Sorting:
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Updated 7 months ago
- Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…☆13Updated 2 months ago
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset☆16Updated last year
- Certificates proving the convergence rates claimed in Table 1 of the (forthcoming) paper "Provably Faster Gradient Descent via Long Steps…☆8Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 5 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
- ☆21Updated last year
- ☆42Updated 9 months ago
- Landing page + leaderboard for SWE-Bench benchmark☆6Updated 2 weeks ago
- A framework for evaluating the effectiveness of chain-of-thought reasoning in language models.☆17Updated 4 months ago
- ☆45Updated 9 months ago
- The application is a end-user training and evaluation system for standard knowledge graph embedding models. It was developed to optimise …☆18Updated 3 weeks ago
- ☆21Updated last month
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Small, simple agent task environments for training and evaluation☆18Updated 7 months ago
- ☆44Updated last year
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆19Updated 2 years ago
- AskIt: Unified programming interface for programming with LLMs (GPT-3.5, GPT-4, Gemini, Claude, Cohere, Llama 2)☆79Updated 5 months ago
- ☆10Updated 2 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆26Updated 2 weeks ago
- Implementation of the paper "Large Language Models as Simulated Economic Agents: What Can We Learn from Homo Silicus?"☆21Updated last year
- Minimum Description Length probing for neural network representations☆18Updated 5 months ago
- 👩🤝🤖 A curated list of datasets for large language models (LLMs), RLHF and related resources (continually updated)☆23Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated 10 months ago
- Harmonic Datasets☆40Updated 11 months ago
- Fork of Bliss☆13Updated 2 years ago
- A visual tool to interpret and understand PyTorch machine learning models☆16Updated last year
- Reasoning by Communicating with Agents☆29Updated last month
- LMQL implementation of tree of thoughts☆34Updated last year
- ☆76Updated 3 months ago