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
- Manifold Markets: A market for every question☆434Updated this week
- Python tools for working with Manifold Markets☆34Updated 5 months ago
- Bet sizing tool for manifold markets☆17Updated last year
- ☆62Updated 2 years ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆11Updated 8 years ago
- Python API client for Manifold Markets☆15Updated 2 years ago
- Machine Learning for Alignment Bootcamp☆72Updated 2 years ago
- (Model-written) LLM evals library☆18Updated 3 months ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆65Updated 2 months ago
- epsilon machines and transformers!☆25Updated last week
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆169Updated this week
- ☆80Updated 9 months ago
- ☆40Updated 9 years ago
- An alternative frontend for LessWrong 2.0☆68Updated last month
- ☆20Updated 3 years ago
- Code for Columbia University COMS 3997 – LLM Ethics and Foundations☆13Updated 2 months ago
- My writings about ARC (Abstraction and Reasoning Corpus)☆74Updated this week
- Tools for studying developmental interpretability in neural networks.☆87Updated 2 months ago
- METR Task Standard☆146Updated last month
- A blog on AI, personal development, and living a good life.☆13Updated this week
- A dataset of alignment research and code to reproduce it☆76Updated last year
- A Discord bot for the Robert Miles AI server☆38Updated last month
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆203Updated 4 months ago
- Busy Beaver deciders backed by Coq proof☆48Updated last month
- Redwood Research's transformer interpretability tools☆14Updated 2 years ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆51Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 4 months ago
- Keeping language models honest by directly eliciting knowledge encoded in their activations.☆197Updated last week
- An engine + analysis interface for duck chess☆19Updated 9 months ago
- A math language for dimensional analysis☆22Updated last year