Athene-ai/Artificial-Coding

Beyond the Turing Test: A formalisation of a decisional Turing Machine