Dorin Doncenco

Latest

• Formal verification of symbolic and connectionist AI: a way toward higher quality software