mwhea / Manifold_Trading_Bots
☆13Updated last year
Alternatives and similar repositories for Manifold_Trading_Bots:
Users that are interested in Manifold_Trading_Bots are comparing it to the libraries listed below
- Bet sizing tool for manifold markets☆17Updated last year
- Python tools for working with Manifold Markets☆34Updated 3 months ago
- Manifold Markets: A market for every question☆430Updated this week
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆11Updated 8 years ago
- ☆61Updated last year
- Machine Learning for Alignment Bootcamp☆70Updated 2 years ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆15Updated 2 months ago
- (Model-written) LLM evals library☆17Updated last month
- Squiggle programming language for intuitive probabilistic estimation features in Python☆65Updated 2 months ago
- Tools for studying developmental interpretability in neural networks.☆82Updated last month
- An estimation language☆161Updated this week
- Python API client for Manifold Markets☆15Updated 2 years ago
- Tools for running experiments on RL agents in procgen environments☆16Updated 9 months ago
- Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.☆206Updated 11 months ago
- The Happy Faces Benchmark☆14Updated last year
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- Mechanistic Interpretability Visualizations using React☆220Updated last month
- Emergent world representations: Exploring a sequence model trained on a synthetic task☆173Updated last year
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆63Updated 2 months ago
- Multiple datasets for ARC (Abstraction and Reasoning Corpus)☆48Updated last week
- A benchmark for mechanistic discovery of circuits in Transformers☆11Updated last month
- ☆258Updated 10 months ago
- Keeping language models honest by directly eliciting knowledge encoded in their activations.☆192Updated this week
- AI Safety Q&A web frontend☆35Updated last week
- ☆179Updated this week
- Domain Specific Language for the Abstraction and Reasoning Corpus☆232Updated 3 months ago
- Interactive neural theorem proving in Lean☆118Updated 2 years ago
- A software agent illustrating some features of an illusionist account of consciousness☆14Updated 7 years ago
- ☆201Updated 3 months ago
- ☆9Updated 5 months ago