mwhea / Manifold_Trading_BotsLinks
☆14Updated 2 years ago
Alternatives and similar repositories for Manifold_Trading_Bots
Users that are interested in Manifold_Trading_Bots are comparing it to the libraries listed below
Sorting:
- Manifold Markets: A market for every question☆453Updated this week
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- (Model-written) LLM evals library☆18Updated 10 months ago
- a simulacrum standing in place of Gavin Leech☆17Updated last week
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆12Updated 9 years ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆194Updated last week
- ☆65Updated 2 years ago
- Python tools for working with Manifold Markets☆36Updated 4 months ago
- Bet sizing tool for manifold markets☆20Updated 2 years ago
- ☆84Updated last year
- Machine Learning for Alignment Bootcamp☆79Updated 3 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆123Updated last year
- Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…☆732Updated last week
- AI Safety Q&A web frontend☆41Updated last week
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆65Updated 8 months ago
- A solver for halting problem of Brainfuck programs☆18Updated 5 years ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆19Updated 7 months ago
- Formalizing results about the Mandelbrot set in Lean☆26Updated this week
- ☆344Updated last month
- MishformerLens intends to be a drop-in replacement for TransformerLens that AST patches HuggingFace Transformers rather than implementing…☆10Updated last year
- Tools for studying developmental interpretability in neural networks.☆111Updated 4 months ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆22Updated last month
- A program with no practical utility☆23Updated 9 years ago
- ☆39Updated 10 years ago
- Lc0 net trained specifically to win against humans with Queen Odds☆32Updated 2 months ago
- A Loom implementation in Obsidian☆311Updated 7 months ago
- Visual Transformer Mechanistic Analysis Tool☆33Updated 2 years ago
- Server to host lean games.☆330Updated last week
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆670Updated this week
- Diffusion on syntax trees for program synthesis☆474Updated last year