microsoft / RepDLLinks
A library for reproducible deep learning.
☆83Updated last month
Alternatives and similar repositories for RepDL
Users that are interested in RepDL are comparing it to the libraries listed below
Sorting:
- Pivotal Token Search☆142Updated last month
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆125Updated 9 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 5 months ago
- PILF: A IPWT-inspired bionic continual learning experiment focus on mitigate catastrophic forgetting with Surprise-gated Mixture of Exper…☆38Updated 6 months ago
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆363Updated 3 months ago
- ☆200Updated 8 months ago
- SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?☆246Updated 2 weeks ago
- time to learn mlx☆42Updated 4 months ago
- Information Processing Evaluation for Large Language Models☆34Updated last month
- Tensor library & inference framework for machine learning☆117Updated 3 months ago
- This is a framework that implements various parallel reasoning strategies from the literature☆275Updated last month
- A tiny autograd engine with a Jax-like API☆74Updated 6 months ago
- Heirarchical Navigable Small Worlds☆101Updated 5 months ago
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆246Updated last month
- ☆462Updated last month
- ☆253Updated 10 months ago
- Run and explore Llama models locally with minimal dependencies on CPU☆190Updated last year
- Digital Red Queen: Adversarial Program Evolution in Core War with LLMs☆141Updated last week
- Everything you need to know about LLM inference☆258Updated last week
- ☆95Updated last year
- ☆89Updated this week
- a curated list of data for reasoning ai☆140Updated last year
- Your AI research assistant☆79Updated 9 months ago
- Editor with LLM generation tree exploration☆81Updated 11 months ago
- ~ streaming agents☆74Updated 3 weeks ago
- lossily compress representation vectors using product quantization☆59Updated 2 months ago
- A framework for pitting LLMs against each other in an evolving library of games ⚔☆34Updated 9 months ago
- LLM plugin for pulling content from Hacker News☆124Updated 8 months ago
- Dead Simple LLM Abliteration☆246Updated 11 months ago
- Implement recursion using English as the programming language and an LLM as the runtime.☆239Updated 2 years ago