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 9 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
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆66Updated 10 months ago
- An alternative frontend for LessWrong 2.0☆78Updated 3 weeks ago
- A dataset of alignment research and code to reproduce it☆78Updated 2 years ago
- Factored Cognition Primer: How to write compositional language model programs☆50Updated 2 years ago
- ☆113Updated last month
- A web app for recursive question-answering with pointers☆39Updated 2 years ago
- 📚📚📚📚📚📚📚📚📚 Reading everything☆15Updated 3 months ago
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆15Updated last month
- The fastest way to make and track predictions☆53Updated 2 weeks ago
- Approximating the joint distribution of language models via MCTS☆22Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- ☆14Updated 3 months ago
- ☆65Updated 2 years ago
- A Loom implementation in Obsidian☆315Updated 9 months ago
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆13Updated 2 years ago
- METR Task Standard☆169Updated 10 months ago
- ☆22Updated last year
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 4 years ago
- llm sampler that only allows words that are in the bible☆43Updated last year
- Keeping language models honest by directly eliciting knowledge encoded in their activations.☆216Updated last week
- Certified Reasoning with Language Models☆31Updated 2 years ago
- ☆28Updated 5 months ago
- ☆109Updated last year
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆203Updated last week
- The history files when recording human interaction while solving ARC tasks☆118Updated this week