@georgwiese joins @axiommathai to continue AI-driven formal verification work
@georgwiese sees AI and formal verification as complementary, predicting the combination will make it possible to ship secure code with minimal human effort.
TLDR
In a September 15 career update, @georgwiese announced, “we've joined @axiommathai,” and said the move would continue recent work using AI to advance formal verification. They expect the two technologies together to enable secure code with minimal human effort.
Combined views
—
1 Source, first seen ago
