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