logic – Andrew Fairless, Ph.D.

What I Read: SAT Solvers

By Andrew Fairless on January 8, 2024November 7, 2023

https://www.borealisai.com/research-blogs/tutorial-9-sat-solvers-i-introduction-and-applications/ Tutorial #9: SAT Solvers I: Introduction and applicationsS. PrinceNov. 10, 2020 “This tutorial concerns the Boolean satisfiability or SAT problem…. we’ll show how to fit both neural networks andContinue readingWhat I Read: SAT Solvers

What I Read: Bonsai Networks, RNNs

By Andrew Fairless on October 3, 2023September 4, 2023

https://cprimozic.net/blog/growing-sparse-computational-graphs-with-rnns/ Growing Bonsai Networks with RNNsCasey Primozic “This writeup introduces what I’m calling Bonsai Networks – extremely sparse computational graphs produced by training and pruning RNNs. They provide an interpretableContinue readingWhat I Read: Bonsai Networks, RNNs

What I Read: Aristotle, Deep Learning

By Andrew Fairless on March 17, 2022March 12, 2022

https://thegradient.pub/how-aristotle-is-fixing-deep-learnings-flaws/ How Aristotle is Fixing Deep Learning’s FlawsPaul J. Blazek17.Feb.2022 “…Aristotle’s logic still stands strong, poignantly describing the building blocks of human reasoning. Yet many of the key ingredients describedContinue readingWhat I Read: Aristotle, Deep Learning

Tag: logic