AI-based formal methods engineer and various experiments - View it on GitHub