Solving Linear Algebra by Program Synthesis

Understand

We solve MIT's Linear Algebra 18.06 course and Columbia University's Computational Linear Algebra COMS3251 courses with perfect accuracy by interactive program synthesis.

• This surprisingly strong result is achieved by turning the course questions into programming tasks and then running the programs to produce the correct answers.
• We use OpenAI Codex with zero-shot learning, without providing any examples in the prompts, to synthesize code from questions.
• We quantify the difference between the original question text and the transformed question text that yields a correct answer.