IntelLabs / atlas-cliLinks
A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine learning models, datasets, and related artifacts.
☆21Updated this week
Alternatives and similar repositories for atlas-cli
Users that are interested in atlas-cli are comparing it to the libraries listed below
Sorting:
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆15Updated last week
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- ☆60Updated 11 months ago
- ☆21Updated 2 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Updated 3 months ago
- Tenstorrent console based hardware information program☆58Updated this week
- BlindBox is a tool to isolate and deploy applications inside Trusted Execution Environments for privacy-by-design apps☆64Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- The Quasi Quantum Assembly Programming Language☆36Updated 2 months ago
- Machine learning for machine code.☆94Updated 3 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆53Updated 7 months ago
- GroqFlow provides an automated tool flow for compiling machine learning and linear algebra workloads into Groq programs and executing tho…☆115Updated 6 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆61Updated 2 weeks ago
- Because it's there.☆16Updated last year
- Go monorepo for a framework to build Linux block devices in userspace☆31Updated 3 months ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆148Updated 4 months ago
- Tenstorrent system interface library☆33Updated 3 weeks ago
- Rust crates for XetHub☆76Updated last year
- Training GPTs to solve interaction nets☆18Updated last year
- ☆85Updated this week
- This repository `II-Commons` contains tools for managing text and image datasets, including loading, fetching, and embedding large datase…☆33Updated 6 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆23Updated 2 years ago
- Project to verify the Guy-Selfridge conjectures☆23Updated 7 months ago
- ☆13Updated last year
- ☆18Updated 3 months ago
- It's a baby compiler. (Lean btw.)☆16Updated 8 months ago
- ☆24Updated 2 months ago
- Tiny cognitive core built with native rust, inspired by nanochat from Andrej Karpathy☆52Updated last month
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago