_index.org

Neural Network Verification

Last edited: August 8, 2025

We can think of a neural network as a roll-out of a system. For ReLU networks in particular, we can compute the exact reachable set!

Suppose we have the input set \(s_1\); let’s consider:

\begin{equation} z_1 = W_1 s_1 + b_1 \end{equation}

after one linear layer. We can then apply a nonlinear function to it. The beauty with ReLU nonlinearities is that we can split our network into one set per quadrant, and consider what ReLU will do to it.

Neural Networks

Last edited: August 8, 2025

Neural Network Unit

A real-valued vector as input, each multiplied by some weights, summed, and squashed by some non-linear transform.

\begin{equation} z = w\cdot x + b \end{equation}

and then, we will squash this using it as an “activation”

\begin{equation} y = \sigmoid(z) \end{equation}

One common activation is sigmoid. So, one common formulation would be:

\begin{equation} y = \frac{1}{1+\exp (- (w \cdot x + b))} \end{equation}

Tanh

\begin{equation} y(z) = \frac{e^{z} - e^{-z}}{e^{z}+e^{-z}} \end{equation}

Neuroscience and AI

Last edited: August 8, 2025

scene representation

artificial vs biological intelligence

  • Humans are few-shot learners (“sample efficiency”)

  • Humans can easily fine-tunable (“transfer flexibility”)

  • Human knowledge can transfer easily

  • AI are many-shot learners (“sample inefficiency”)

  • AI are specialized

  • AI is more precise, and can hold a lot in cache

biological learning

biological learning is mostly unsupervised, and yte can generalize

visual processing

neutral stability

Last edited: August 8, 2025

a neutral stability ( mar ) condition in Differential Equations means that a function is neither stable nor unstable: it does not

See: https://en.wikipedia.org/wiki/Marginal_stability

New American South

Last edited: August 8, 2025

Election between Hayes vs Tildon was very close. Democrats gave Republicans Hayes, but then asked the Republican millitary to leave the South and hence they have no way of enforcing the rights.

Redeemer Governments

Democrats put in systems to relegate African Americans to second-class citizenship into the south. Lynchings became the weapon of choice of enforcing Jim Crow.

  • Within 20 years, Jim Crow became implemented by every state
  • 1896 Plessy vs Ferguson upholding the process of segregation
  • Convict leasing: convicts’ labour was leased to create infrastructure

Economic transformation: put in sharecropping (crops in lieu or in addition to rent) and convict leasing. This is essentially modern slavery because debt is used as a process to enslave people as they will never actually be paid enough to pay back debt.