ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: ProofOfThought: LLM-based reasoning using Z3 theorem proving

First screen, captured 1 year ago.

Looks similar

Screenshot of github.com: Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis

Show HN: AI Peer Reviewer – Multiagent system for scientific manuscript analysis (github.com)

101 points by rjakob 1 year ago | 79 comments

Screenshot of github.com: Show HN: Open-source P2P file transfer

Show HN: Open-source P2P file transfer (github.com)

26 points by goodpanda 1 year ago | 6 comments

Screenshot of github.com: Show HN: An AI zettelkasten that extracts ideas from articles, videos, and PDFs

Show HN: An AI zettelkasten that extracts ideas from articles, videos, and PDFs (github.com)

17 points by schoblaska 10 months ago | 1 comments

Screenshot of github.com: Show HN: Davia – Open source visual, editable wiki from your codebase

Show HN: Davia – Open source visual, editable wiki from your codebase (github.com)

29 points by ruben-davia 11 months ago | 2 comments

Screenshot of github.com: Deletes all instances of Microsoft's GDID and prevents minting of new ones

Deletes all instances of Microsoft's GDID and prevents minting of new ones (github.com)

48 points by campuscodi 2 months ago | 29 comments

Screenshot of github.com: Zlob.h 100% POSIX and glibc compatible globbing lib that is faste and better

Zlob.h 100% POSIX and glibc compatible globbing lib that is faste and better (github.com)

17 points by neogoose 8 months ago | 10 comments