MathPrompter: Mathematical Reasoning using Large Language Models · HackerPapers discussions

MathPrompter: Mathematical Reasoning using Large Language Models — mentioned by alfalfasprout

Tue, 14 Mar 2023 23:00:45 GMT

I've been following the work on MathPrompter (https://arxiv.org/pdf/2303.05398.pdf) for example. These approaches certainly increase the quality of basic results but without a true semantic model of mathematics we're a looooooong way from replacing a computer algebra system.

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

MathPrompter: Mathematical Reasoning using Large Language Models — HN submission

Mon, 13 Mar 2023 12:58:10 GMT

MathPrompter: Mathematical Reasoning Using LLMs. New SOTA on MultiArith(92.5%)

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

MathPrompter: Mathematical Reasoning using Large Language Models — HN submission

Fri, 10 Mar 2023 06:41:20 GMT

MathPrompter: Mathematical Reasoning Using Large Language Models

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