1 article mentions Citadel
Stanford Team Sets Out to Formally Verify Software Stanford computer scientist Chuyue Sun and her team have developed an AI tool that completed a...