Solving Probability and Statistics Problems by Program Synthesis
Not on the map. Why?
Abstract (arXiv)
We solve university level probability and statistics questions by program synthesis using OpenAI's Codex, a Transformer trained on text and fine-tuned on code. We transform course problems from MIT's 18.05 Introduction 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 dependencies 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 estimate the amount of work needed to translate an original question into its tractable form, we measure the similarity between original and transformed questions. Our work is the first to introduce a new dataset of university-level probability and statistics problems and solve these problems in a scalable fashion using the program synthesis capabilities of large language models.
Key facts. Cited by 9 papers in the map (data through 7 Oct 2026). Builds on 9 of its 14 references that are in the map. First posted on arXiv 16 Nov 2021.
Builds on
9 of 14 references.
References · 9
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2021On the Opportunities and Risks of Foundation Modelscited by 3,961
- 2018Know What You Don't Know: Unanswerable Questions for SQuADcited by 1,538
- 2019MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalismscited by 653
- 2021Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigmcited by 599
- 2019COMET: Commonsense Transformers for Automatic Knowledge Graph Constructioncited by 450
- 2020Streaming automatic speech recognition with the transformer modelcited by 73
Built on by
Citing papers per year: 2022: 5; 2023: 3; 2024: 1.
9 papers.
- 2022Competition-Level Code Generation with AlphaCodecited by 1,427
- 2023Automatically Auditing Large Language Models via Discrete Optimizationcited by 187
- 2022GitHub Copilot AI pair programmer: Asset or Liability?cited by 150
- 2022Capturing Failures of Large Language Models via Human Cognitive Biasescited by 97
- 2023Large Language Models and Simple, Stupid Bugscited by 45
- 2022Codex Hacks HackerRank: Memorization Issues and a Framework for Code Synthesis Evaluationcited by 14
- 2022A Survey on Pretrained Language Models for Neural Code Intelligencecited by 13
- 2023Neural Machine Translation for Code Generationcited by 3
- 2024CogNarr Ecosystem: Facilitating Group Cognition at Scalecited by 0
- 2024CogNarr Ecosystem: Facilitating Group Cognition at Scale11 Jul 2024
- 2023Neural Machine Translation for Code Generation22 May 2023
- 2023Large Language Models and Simple, Stupid Bugs20 Mar 2023
- 2023Automatically Auditing Large Language Models via Discrete Optimization8 Mar 2023
- 2022A Survey on Pretrained Language Models for Neural Code Intelligence20 Dec 2022
- 2022Codex Hacks HackerRank: Memorization Issues and a Framework for Code Synthesis Evaluation6 Dec 2022
- 2022GitHub Copilot AI pair programmer: Asset or Liability?30 Jun 2022
- 2022Capturing Failures of Large Language Models via Human Cognitive Biases24 Feb 2022
- 2022Competition-Level Code Generation with AlphaCode8 Feb 2022