oughtinc / patchwork
Command-line recursive question-answering with immutable contexts and explicit data store
☆24Updated 5 years ago
Related projects: ⓘ
- A web app for recursive question-answering with pointers☆37Updated last year
- An alternative frontend for LessWrong 2.0☆61Updated this week
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- Factored Cognition Primer: How to write compositional language model programs☆48Updated last year
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 7 years ago
- ☆44Updated 2 years ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆59Updated 3 weeks ago
- Python tools for working with Manifold Markets☆33Updated 3 months ago
- Humans consulting HCH☆10Updated 6 years ago
- Code + data archive for "Modeling the Human Trajectory"☆28Updated 2 months ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆17Updated 6 years ago
- Implementations of Curious Replay for model-based adaptation.☆36Updated last year
- ☆12Updated 3 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆16Updated 2 years ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆21Updated this week
- An environment for learning formal mathematical reasoning from scratch☆48Updated last month
- A programming language for formal/informal computation.☆39Updated 3 months ago
- a writeup on some experiments on a sequence model for chess games☆27Updated 3 years ago
- A dataset of alignment research and code to reproduce it☆68Updated last year
- Redwood Research's transformer interpretability tools☆11Updated 2 years ago
- Modeling agents with probabilistic programs☆66Updated 5 years ago
- ☆10Updated last year
- A probabilistic programming language, based on Church☆17Updated 6 years ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 2 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆38Updated 11 months ago
- Read, Collaborate and talk about scientific papers☆30Updated last year
- An agent-based model for scientific inquiry based on abstract argumentation☆10Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 8 months ago
- ☆42Updated 7 years ago
- Dyna built on R-exprs (First Prototype)☆12Updated 2 years ago