Axiomatic_AI MCP Server

Axiomatic_AI MCP Server

Official implementation of the paper "Towards a Certificate of Trust: Task-Aware OOD Detection for Scientific AI"

Discovering Interpretable Features in Protein Language Models via Sparse Autoencoders

Development repository for the Triton language and compiler

Evaluation of LLMs on latest math competitions

Tools for visualizing neural nets

🧱 Modula software package

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Flower: A Friendly Federated AI Framework

Flower: A Friendly Federated AI Framework

Training Sparse Autoencoders on Language Models

open source interpretability platform

open source interpretability platform 🧠

Codebase for Germinal, a broadly enabling generative pipeline for efficient generation of epitope-targeted de novo antibodies.

🛡️ Enforce repository compliance standards across your GitHub organization

MedAgentBench: A Realistic Virtual EHR Environment to Benchmark Medical LLM Agents

MedAgentBench: A Realistic Virtual EHR Environment to Benchmark Medical LLM Agents

Trainable, memory-efficient, and GPU-friendly PyTorch reproduction of AlphaFold 2

Adaptive linear discriminant analysis for high dimensional gaussian data with (possibly) missing positions

A Foreign Function Interface (FFI) to cvc5 solver in Lean.

This repository provides a B-Method verification model for the FeverTokens Package-Oriented Smart Contract Framework. Its goal is simple: prove that a package (facet) is structurally sound on its o…

The Identity Overlay Network (ION) is a DID Method implementation using the Sidetree protocol atop Bitcoin

The Identity Overlay Network (ION) is a DID Method implementation using the Sidetree protocol atop Bitcoin