We have released the code and demo program required for LLM with self-verification - View it on GitHub