ProofOfThought: LLM-based reasoning using Z3 theorem proving(github.com)311 points by barthelomew 1 year ago | 164 comments
Chain-of-Thought Hub: Measuring LLMs' Reasoning Performance(github.com)97 points by Garcia98 3 years ago | 24 comments
Treebomination: Convert a scikit-learn decision tree into a Keras model(github.com)69 points by Dobiasd 3 years ago | 6 comments
Treescope: Interactive HTML visualization library for Python neural networks(github.com)48 points by zerojames 2 years ago | 6 comments
Show HN: Visualize the entropy of a codebase with a 3D force-directed graph(github.com)161 points by gabimtme 2 years ago | 53 comments
Show HN: Plexe – ML Models from a Prompt(github.com)112 points by vaibhavdubey97 1 year ago | 44 comments