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:
- DeepAlgebra☆25Updated 7 years ago
- Metamath verifier in Python☆40Updated 4 months ago
- Formalizing results about the Mandelbrot set in Lean☆26Updated last month
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated 3 weeks ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- deep learning for math☆28Updated 6 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- ☆39Updated 10 years ago
- An alternative frontend for LessWrong 2.0☆74Updated 2 weeks ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- ☆23Updated 3 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated last month
- RASP-L in Haskell for my fellow rascals☆19Updated last year
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Formalizing stochastic doubly-efficient debate☆111Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- ☆43Updated 2 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 2 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆66Updated last year
- a simulacrum standing in place of Gavin Leech☆17Updated 2 weeks ago