StampyAI / stampy-uiLinks
AI Safety Q&A web frontend
☆41Updated last week
Alternatives and similar repositories for stampy-ui
Users that are interested in stampy-ui are comparing it to the libraries listed below
Sorting:
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆19Updated 8 months ago
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆34Updated last year
- gpt completions in vscode☆35Updated 2 years ago
- ☆22Updated 4 years ago
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆15Updated last month
- A dataset of alignment research and code to reproduce it☆78Updated 2 years ago
- An alternative frontend for LessWrong 2.0☆74Updated this week
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- A web app for recursive question-answering with pointers☆39Updated 2 years ago
- A Loom implementation in Obsidian☆311Updated 7 months ago
- Factored Cognition Primer: How to write compositional language model programs☆50Updated 2 years ago
- ☆65Updated 2 years ago
- ☆106Updated last week
- Manifold Markets: A market for every question☆457Updated this week
- Drive a browser with Cohere☆71Updated 2 years ago
- METR Task Standard☆167Updated 9 months ago
- Keeping language models honest by directly eliciting knowledge encoded in their activations.☆212Updated last week
- Python tools for working with Manifold Markets☆37Updated 4 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- The fastest way to make and track predictions☆50Updated last month
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆200Updated last week
- 📚📚 📚📚📚📚📚📚📚 Reading everything☆15Updated 2 months ago
- A library for bridging Python and HTML/Javascript (via Svelte) for creating interactive visualizations☆198Updated 3 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- Machine Learning for Alignment Bootcamp☆81Updated 3 years ago
- Vivaria is METR's tool for running evaluations and conducting agent elicitation research.☆120Updated last week
- Visual Transformer Mechanistic Analysis Tool☆33Updated 2 years ago
- Tools for studying developmental interpretability in neural networks.☆114Updated 4 months ago
- ☆17Updated last week
- Approximating the joint distribution of language models via MCTS☆22Updated last year