Governors and Guards: A Formally Verifiable Framework for AI Constraint using Differentiable Logic Cellular Automata

Governors and Guards: A Formally Verifiable Framework for AI Constraint using Differentiable Logic Cellular Automata | apoth3osis