Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward
☆78Oct 6, 2026Updated last month
Alternatives and similar repositories for MAIS
Users that are interested in MAIS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Monorepo that hosts and serves the iliad intensive content☆18Updated this week
- Lean formalization of bounded gaps between primes☆49Aug 18, 2026Updated 2 months ago
- Solutions to Foundations of Algebraic Geometry☆11Aug 16, 2011Updated 15 years ago
- ☆25Oct 31, 2026Updated 2 weeks ago
- A proof that Z is Diophantine in Q.☆75Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆60Updated this week
- Residual Quantization Autoencoder, used for interpreting LLMs☆14Jan 1, 2025Updated last year
- ☆37Oct 8, 2026Updated last month
- vibecoding, but correct and safe and secure and☆29Apr 22, 2026Updated 6 months ago
- A library for activation patching based on nnsight.☆12May 27, 2025Updated last year
- Teach LLMs to use NNSight with Skills☆15Updated this week
- Implements various lenses within the Patchscope framework for analyzing and interpreting language models☆11Jul 25, 2024Updated 2 years ago
- ☆16Aug 7, 2023Updated 3 years ago
- Fuse: a desktop workspace for Lean formalization with AI agents☆14Oct 19, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆33Sep 9, 2026Updated 2 months ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- ☆38Jul 3, 2026Updated 4 months ago
- A text-based game where language models learn to lie and to detect lies.☆12Oct 4, 2023Updated 3 years ago
- A tale of works on the complexity of second-order (and high-order) min-max optimization [ICLR 2025 Oral, COLT 2025 Best Student Paper, CO…☆12Oct 12, 2026Updated last month
- A Lean formalization of the Stacks Project☆137Updated this week
- ☆14Feb 22, 2026Updated 8 months ago
- List of awesome works that use AI for mathematical discoveries.☆100Updated this week
- PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (…☆12Apr 9, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Fastest du replacement and file tree analysis for 100+GB, million-file worktrees☆18Updated this week
- A Benchmark for Evaluating Outcome-Driven Constraint Violations in Autonomous AI Agents☆14Nov 8, 2026Updated last week
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 5 years ago
- Implementation of primal and dual method to solve the optimal stopping problem in non-Markovian situations, see https://arxiv.org/abs/231…☆11May 20, 2026Updated 5 months ago
- A lean repository for building many-sorted logic, with a view towards model theory of valued fields☆14Jul 29, 2026Updated 3 months ago
- Syntax aware code search for Julia☆15Jun 22, 2026Updated 4 months ago
- An alternative graphs library in Julia☆12Jun 8, 2026Updated 5 months ago
- An optimized prime sieve in Julia☆14Dec 10, 2024Updated last year
- Library for formalization of dynamical systems☆18Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Benchmarking coding agents on formalized undergraduate research problems☆25Oct 25, 2026Updated 3 weeks ago
- Lean models of program behavior, compiler foundations and verified WebAssembly tools.☆23Updated this week
- Helper functions for the Julia package manager☆13Dec 31, 2025Updated 10 months ago
- Open Agent Security Benchmark - 223 attack scenarios, product-agnostic adapter interface, MITRE ATLAS mapped☆10Updated this week
- LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)☆23Updated this week
- ☆14Updated this week
- ☆21Mar 4, 2026Updated 8 months ago
Are these results useful?