🔬

Solving Probability and Statistics Problems by Program Synthesis

📅 2021
technical research breakthrough
🔵 Rare

📖 Description

Solving Probability and Statistics Problems by Program Synthesis Leonard Tang Harvard University MathematicsElizabeth Ke MIT MathematicsNikhil Singh MIT Media Lab Nakul Verma Columbia University Computer Science DepartmentIddo Drori MIT EECS Abstract We solve university level probability and statis- tics questions by program synthesis using OpenAI?s Codex, a Transformer trained on text and ?ne-tuned on code. We transform course problems from MIT?s 18.05 Introduc- tion to Probability and Statistics and Harvard?s STAT110 Probability into programming tasks. We then execute the generated code to get a solution. Since these course questions are grounded in probability, we often aim to have Codex generate probabilistic programs that simulate a large number of probabilistic depen- dencies to compute its solution. Our approach requires prompt engineering to transform the question from its original form to an explicit, tractable form that results in a correct program and solution. To estimat...

📊 Game Impacts

Not verified in game

Which variables this event was proposed to move, and in which direction. The magnitudes are held in the corpus but are not shown here, because they have not been verified against the shipped game. They come from pdoom-data. They describe what an event was proposed to do, not what the shipped game does with it. Most events in the corpus are flavour: they are shown for colour and do not move any game variable. Only a small minority reach the systems below, and several of the variables listed here are not read by the game at all yet. Treat this table as a design proposal under review, not as a measurement of play. Corrections and arguments are welcome — the suggestion links at the foot of this page go straight to the data repo.

Variable Direction Condition
Research proposed: up Always
Papers proposed: up Always
Vibey Doom proposed: up Always

💭 Reactions

🔬 Safety Researcher Reaction: ⚠️ Placeholder - Needs Real Quote
"Advances our understanding of AI safety"
📰 Media Reaction: ⚠️ Placeholder - Needs Real Quote
"Academic research release"
💡 Found a Real Quote? Suggest it here

🔗 Sources

🏷️ Event Metadata

Think this event's metadata could be improved? Category and tags describe the real-world event and are maintained in pdoom-data. Rarity, game impacts and p(doom) effects are game-mechanical values owned by pdoom1. Each link below goes to the repository that decides that field.

📁 Category Technical Research Breakthrough → Suggest different category
⭐ Rarity 🔵 Rare → Suggest different rarity
🏷️ Tags (0) → Suggest tag changes
📊 Game Impacts (3) 3 variable changes → Suggest impact changes
☢️ p(Doom) Impact No direct impact → Suggest p(doom) change
📝 General Metadata Year, description, reactions → Comprehensive review

🤝 Found an Issue?

This event data is sourced from the pdoom-data repository. If you notice errors or want to suggest improvements:

GitHub Issue (Preferred) 📧 Email (No GitHub)
← Back to All Events