A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level · HackerPapers discussions

A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level — mentioned by gwern

Tue, 29 Mar 2022 21:56:24 GMT

You forgot all the inner monologue (https://www.gwern.net/docs/ai/gpt/inner-monologue/index) & scratchpad papers which give it additional steps or access to Python REPL etc: eg https://arxiv.org/abs/2112.15594 https://arxiv.org/abs/2111.08267 https://arxiv.org/abs/2111.08171

Paper and discussion history. A mention is not an endorsement.

A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level — HN submission

Sat, 08 Jan 2022 17:24:26 GMT

A neural network solves and generates mathematics problems by program synthesis

209 points; 86 discussion replies on HN. Paper and source history. A submission is not an endorsement.

A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level — HN submission

Thu, 06 Jan 2022 14:16:02 GMT

A Neural Network Solves and Generates Mathematics Problems by Program Synthesis

1 point; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.

A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level — HN submission

Mon, 03 Jan 2022 13:34:46 GMT

Neural Network Uses Program Synthesis to Solve University Level Math

7 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.