riceissa / aiwatchLinks
Website to track people, organizations, and products (tools, websites, etc.) in AI safety
☆23Updated this week
Alternatives and similar repositories for aiwatch
Users that are interested in aiwatch are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆40Updated 6 months ago
- DeepAlgebra☆25Updated 8 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 3 months ago
- Formalizing results about the Mandelbrot set in Lean☆27Updated this week
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- deep learning for math☆29Updated 6 years ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 4 years ago
- ☆25Updated 4 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- ☆24Updated 3 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- ☆40Updated 10 years ago
- RASP-L in Haskell for my fellow rascals☆20Updated 2 years ago
- Cellular automata search program☆26Updated 3 years ago
- Source of metamath book☆51Updated last year
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- a writeup on some experiments on a sequence model for chess games☆32Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- ☆44Updated 2 years ago
- An automated approach to the Collatz conjecture☆12Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆28Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆43Updated last year
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 8 years ago
- Minimal open-source implementation of AlphaProof [WIP]☆42Updated this week