minosvasilias / gpt-manifoldLinks
An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
☆34Updated last year
Alternatives and similar repositories for gpt-manifold
Users that are interested in gpt-manifold are comparing it to the libraries listed below
Sorting:
- AI Safety Q&A web frontend☆41Updated 2 weeks ago
- Python tools for working with Manifold Markets☆37Updated 5 months ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆66Updated 10 months ago
- Factored Cognition Primer: How to write compositional language model programs☆50Updated 2 years ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆19Updated 9 months ago
- A dataset of alignment research and code to reproduce it☆78Updated 2 years ago
- This repository explains and provides examples for "concept anchoring" in GPT4.☆71Updated last year
- command loom interface☆110Updated 10 months ago
- A replication of Andy Ayrey's "Backrooms" (https://dreams-of-an-electric-mind.webflow.io/), but runnable with Opus 3, Sonnet 3.5, GPT 4o,…☆112Updated 7 months ago
- ☆22Updated last year
- gpt completions in vscode☆35Updated 2 years ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- this is a TypeScript-based MCP server that implements a simple loom and makes it available for Claude to use.☆21Updated last year
- An alternative frontend for LessWrong 2.0☆78Updated last week
- cli loom that uses git to manage branches☆31Updated 11 months ago
- Approximating the joint distribution of language models via MCTS☆22Updated last year
- MiniHF is an inference, human preference data collection, and fine-tuning tool for local language models. It is intended to help the user…☆183Updated last month
- A Loom implementation in Obsidian☆312Updated 9 months ago
- The fastest way to make and track predictions☆52Updated 2 months ago
- Certified Reasoning with Language Models☆31Updated 2 years ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- The history files when recording human interaction while solving ARC tasks☆118Updated last week
- ☆111Updated last month
- A repo to evaluate various LLM's chess playing abilities.☆86Updated last year
- Some of the scripts I use for scribepod @ https://scribepod.substack.com/, an automated AI podcast☆174Updated 2 years ago
- Synthetic data derived by templating, few shot prompting, transformations on public domain corpora, and monte carlo tree search.☆32Updated 2 months ago
- a socketteer/loom reimplementation in obsidian☆25Updated last year
- Simple embedding -> text model trained on a small subset of Wikipedia sentences.☆158Updated 2 years ago
- Drive a browser with Cohere☆73Updated 2 years ago
- A langchain app to visualise a debate using Tree-of-Thought reasoning☆60Updated last year