@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
27
1 Source, first seen 15d ago
reposts