riceissa / aiwatch
Website to track people, organizations, and products (tools, websites, etc.) in AI safety
☆21Updated this week
Alternatives and similar repositories for aiwatch:
Users that are interested in aiwatch are comparing it to the libraries listed below
- Command-line recursive question-answering with immutable contexts and explicit data store☆25Updated 6 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated last year
- ☆9Updated 5 years ago
- ACT community resources☆20Updated 5 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆17Updated 6 years ago
- This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…☆18Updated 2 years ago
- Code + data archive for "Modeling the Human Trajectory"☆28Updated 7 months ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- A dataset of alignment research and code to reproduce it☆74Updated last year
- An alternative frontend for LessWrong 2.0☆65Updated last week
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- ☆12Updated 3 years ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆65Updated last month
- ☆9Updated 2 years ago
- Funn: Functional Neural Networks in Haskell☆25Updated 5 years ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆64Updated 3 weeks ago
- RASP-L in Haskell for my fellow rascals☆18Updated last year
- Python tools for working with Manifold Markets☆34Updated 4 months ago
- a simulacrum standing in place of Gavin Leech☆14Updated this week
- An estimation language☆167Updated this week
- ☆25Updated 2 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 4 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆25Updated 2 years ago
- Metamath verifier in Python☆38Updated 10 months ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated 9 months ago
- Interpretability dashboard for reinforcement learners☆16Updated 5 years ago
- Creative diagrams in Ti𝑘Z☆11Updated 3 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago