Applied research — AI & formal methods

Gnomon Applied is an applied research firm working at the boundary of artificial intelligence and formal methods. We partner with organizations to bring provably correct, reliable techniques to real-world AI systems. Our mission is to make advanced AI trustworthy by design.