riceissa / aiwatch
Website to track people, organizations, and products (tools, websites, etc.) in AI safety
☆21Updated last week
Alternatives and similar repositories for aiwatch
Users that are interested in aiwatch are comparing it to the libraries listed below
Sorting:
- Command-line recursive question-answering with immutable contexts and explicit data store☆25Updated 6 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- DeepAlgebra☆25Updated 7 years ago
- This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…☆18Updated 3 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆17Updated 6 years ago
- ☆36Updated 9 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 6 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- A dataset of alignment research and code to reproduce it☆77Updated last year
- ☆9Updated 2 years ago
- Enjoy puzzle-solving directly in your browser.☆25Updated 3 weeks ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 3 years ago
- a simulacrum standing in place of Gavin Leech☆16Updated this week
- Metamath verifier in Python☆38Updated last year
- Python tools for working with Manifold Markets☆34Updated 7 months ago
- ☆9Updated 5 years ago
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 7 years ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- Humans consulting HCH☆10Updated 7 years ago
- a writeup on some experiments on a sequence model for chess games☆30Updated 3 years ago
- Read, Collaborate and talk about scientific papers☆30Updated 2 years ago
- An alternative frontend for LessWrong 2.0☆70Updated last week
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated 9 months ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆63Updated 3 months ago
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- ☆13Updated 2 years ago
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Updated 6 years ago