Even if it's unrelated to deploying a big ethical system in the wild, just a paper saying "we use this algorithm to watch the memory of this network to change t

Even if it's unrelated to deploying a big ethical system in the wild, just a paper saying "we use this algorithm to watch the memory of this network to change these things if it started to do those things" etc. Any sort of toy implementation would be interested. What I'm really interested in is if you can use formal specifications to constrict AI systems - which is what made me start my search. But even widening it considerably, I still didn't find anything tangible. I only looked for an hour or two mind you.