Self-promo
Carina Hong set for October 19 talk on AI and verified software
DigEconLab says Zoom registration is free for its talk on mathematical discovery and verified software.
TLDR
DigEconLab announced that Carina Hong, CEO of @axiommathai, is scheduled for its October 19 talk, “AI That Can Prove It: From Mathematical Discovery to Verified Software.” The lab shared a link for free Zoom registration.
Combined views
—
2 Sources, first seen ago
