Will-Howard / manifolio
Bet sizing tool for manifold markets
☆16Updated last year
Related projects ⓘ
Alternatives and complementary repositories for manifolio
- Python tools for working with Manifold Markets☆34Updated last month
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆63Updated 2 weeks ago
- ☆13Updated last year
- Python API client for Manifold Markets☆15Updated last year
- Squiggle programming language for intuitive probabilistic estimation features in Python☆65Updated last week
- gpt completions in vscode☆30Updated last year
- Manifold Markets: A market for every question☆421Updated this week
- Machine Learning for Alignment Bootcamp☆64Updated 2 years ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆72Updated 10 months ago
- Benchmark LLM reasoning capability by solving chess puzzles.☆66Updated 6 months ago
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆32Updated 10 months ago
- AI Safety Q&A web frontend☆35Updated this week
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆13Updated last week
- An estimation language☆155Updated this week
- A Discord bot for the Robert Miles AI server☆38Updated last month
- Einsum with einops style variable names☆15Updated 6 months ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 2 years ago
- Augment GPT-4 Environment Access☆288Updated last year
- An alternative frontend for LessWrong 2.0☆64Updated last week
- Domain Specific Language for the Abstraction and Reasoning Corpus☆213Updated last month
- My writings about ARC (Abstraction and Reasoning Corpus)☆59Updated this week
- A project to map out the relations between different equational theories of Magmas.☆216Updated this week
- ☆124Updated last year
- Visual Transformer Mechanistic Analysis Tool☆32Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆60Updated last year
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆20Updated 5 months ago
- (Model-written) LLM evals library☆16Updated 3 months ago
- The history files when recording human interaction while solving ARC tasks☆95Updated this week
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆13Updated last week