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:
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- ☆9Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 8 months ago
- a writeup on some experiments on a sequence model for chess games☆30Updated 4 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- deep learning for math☆30Updated 6 years ago
- ☆14Updated 2 years ago
- Metamath verifier in Python☆40Updated last month
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 6 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- ☆27Updated 3 years ago
- Formalizing stochastic doubly-efficient debate☆107Updated 9 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- RASP-L in Haskell for my fellow rascals☆19Updated last year
- ☆43Updated 2 years ago
- ☆23Updated 3 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- ☆38Updated 9 years ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆77Updated 2 months ago
- Funn: Functional Neural Networks in Haskell☆25Updated 6 years ago
- ☆50Updated 3 years ago
- A dataset of alignment research and code to reproduce it☆77Updated 2 years ago
- ☆25Updated 2 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year