riceissa / aiwatchLinks
Website to track people, organizations, and products (tools, websites, etc.) in AI safety
☆22Updated this 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☆26Updated 6 years ago
- DeepAlgebra☆25Updated 7 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Metamath verifier in Python☆39Updated 2 weeks ago
- ☆9Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- ☆37Updated 9 years ago
- A system for computational category theory and applications☆38Updated 9 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
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆64Updated 4 months ago
- ACT community resources☆21Updated 5 years ago
- Code to support the guide to logical induction for software engineers☆11Updated 3 months 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
- An agent library for systems of nested automata.☆43Updated 8 years ago
- ☆13Updated 2 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Updated 10 months ago
- An alternative frontend for LessWrong 2.0☆70Updated this week
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 6 years ago
- Humans consulting HCH☆10Updated 7 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- a simulacrum standing in place of Gavin Leech☆16Updated last month
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- Funn: Functional Neural Networks in Haskell☆25Updated 6 years ago
- Haskell bindings to SymEngine☆25Updated last year
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago