A verification tool for ensuring parallelization equivalence in distributed model training.
☆18Sep 1, 2025Updated last year
Alternatives and similar repositories for TrainVerify
Users that are interested in TrainVerify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A verification tool for ensuring parallelization equivalence in distributed model training.☆14Sep 17, 2025Updated last year
- A feedback-driven fault injection tool for reproducing distributed systems failures☆16Apr 25, 2025Updated last year
- A general training alignment framework for LLM training debugging. OSDI ’26 Best Paper Nominee.☆16Oct 20, 2026Updated last week
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆20Mar 6, 2025Updated last year
- A toolchain for distributed system runtime checkers☆13May 20, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A compiler framework for eBPF programs☆23Oct 1, 2026Updated 3 weeks ago
- ☆13Apr 10, 2025Updated last year
- nnScaler: Compiling DNN models for Parallel Training☆136Updated this week
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 6 years ago
- An experimental parallel training platform☆58Mar 25, 2024Updated 2 years ago
- ☆33Feb 28, 2025Updated last year
- Extension to connect OpenPAI clusters, submit AI jobs, simulate jobs locally, manage files, and so on.☆16Dec 10, 2022Updated 3 years ago
- Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…☆18Jun 19, 2022Updated 4 years ago
- Lock-free elimination back-off stack☆12Jan 6, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Apr 3, 2020Updated 6 years ago
- A shared mailbox for people and their coding agents: hand results, files and context to someone else's agent (Codex, Claude Code, opencod…☆24Updated this week
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- ☆11May 1, 2024Updated 2 years ago
- Taming the transient while reconfiguring BGP (SIGCOMM'23)☆10Dec 5, 2023Updated 2 years ago
- Safe high-level bindings for the Boolector SMT solver☆14Apr 5, 2022Updated 4 years ago
- BlockCIrculantRNN (LSTM and GRU) using TensorFlow☆14Oct 30, 2018Updated 7 years ago
- VEREFOO (VErified REFinement and Optimized Orchestrator) is a framework designed to provide an automatic way to allocate packet filters –…☆10Aug 26, 2024Updated 2 years ago
- OpenPAI SDK☆20Dec 10, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Privacy-preserving LLM inference with CKKS homomorphic encryption and Private Linear Layer (PLL) protection for LoRA fine-tuned models☆12Oct 18, 2025Updated last year
- Repository for synthCT framework (NDSS'22)☆10Oct 5, 2022Updated 4 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- fenwick: rust implementation of Fenwick trees (aka. binary/bit indexed trees)☆10Sep 15, 2022Updated 4 years ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆25Mar 2, 2024Updated 2 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 4 years ago
- Runtime for deep learning workload☆22May 24, 2022Updated 4 years ago
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated 2 years ago
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆16Mar 19, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆12Oct 18, 2022Updated 4 years ago
- Hyperdimensional computing in memory. Artifact from 'A Case Study of Processing-in-Memory in off-the-Shelf Systems' (USENIX ATC '21)☆10Dec 2, 2023Updated 2 years ago
- The original Protocol-oblivious Forwarding (POF) switch by Huawei☆10Sep 1, 2016Updated 10 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 11 years ago
- ☆10Mar 8, 2025Updated last year
- Slooo: A Fail-slow Fault Injection Testing Framework☆10Nov 28, 2022Updated 3 years ago
- ☆16May 13, 2026Updated 5 months ago