“A verification technique that uses automated reasoning and is not limited to finite state machines, offering more powerful analysis.”

“use deep learning to do theorem proving”