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 and
What I Read: Differentiable Trees
https://ericmjl.github.io/blog/2023/8/7/journal-club-differentiable-search-of-evolutionary-trees/ Journal Club: Differentiable Search of Evolutionary TreesEric J. Ma2023-08-07 “…how the authors take a non-differentiable problem and turn it into a differentiable problem through interconversion between mathematical data structures.”
What I Read: Computation, Artificial Intelligence
https://www.quantamagazine.org/a-new-approach-to-computation-reimagines-artificial-intelligence-20230413/ A New Approach to Computation Reimagines Artificial IntelligenceAnil AnanthaswamyApril 13, 2023 “By imbuing enormous vectors with semantic meaning, we can get machines to reason more abstractly — and efficiently
What I Read: Bloom filter
https://luminousmen.com/post/building-a-bloom-filter Building a Bloom filterluminousmen “In this post, we will explore the Bloom filter — a data structure that is ingenious in its simplicity and elegant in its design.”