Deductive Verification of Chain-of-Thought Reasoning — mentioned by sippeangelo

Thu, 12 Sep 2024 10:08:59 GMT

For as much as I would love for this to work, I'm not getting great results trying out the 1.5b model in their example notebook on Colab. It is impressively fast, but testing it on an arxiv.org page (specifically https://arxiv.org/abs/2306.03872) only gives me a short markdown file containing the abstract, the "View PDF" link and the submission history. It completely leaves out the title (!), authors and other links, which are definitely present in the HTML in multiple places! I'd argue that Arxiv.org is a reasonable example in the age of webapps, so what gives?

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

Deductive Verification of Chain-of-Thought Reasoning — HN submission

Tue, 10 Sep 2024 15:29:47 GMT

Deductive Verification for Chain-of-Thought Reasoning in LLMs

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

Deductive Verification of Chain-of-Thought Reasoning · HackerPapers discussions

Deductive Verification of Chain-of-Thought Reasoning — mentioned by sippeangelo

Deductive Verification of Chain-of-Thought Reasoning — HN submission