Signin

Grant Passmore, "Formal Verification of Financial Algorithms with Imandra" | Johns Hopkins IAA

Johns Hopkins Institute for Assured Autonomy • March 9, 2024
Video Thumbnail

You May Also Like

Johns Hopkins Institute for Assured Autonomy

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

John Leonard, "The Past, Present and Future of SLAM" | Johns Hopkins Institute for Assured Autonomy

Johns Hopkins Institute for Assured Autonomy

Video Thumbnail

Phil Thomas, "Safe and Fair Machine Learning: A Seldonian Approach" | Johns Hopkins IAA

Johns Hopkins Institute for Assured Autonomy

Video Thumbnail

Gopal Ramchurn, "Trustworthy Human-AI Partnerships" | Johns Hopkins Institute for Assured Autonomy

Johns Hopkins Institute for Assured Autonomy

Video Thumbnail

"Common Sense: The Dark Matter of Language and Intelligence," Yejin Choi, University of Washington

Johns Hopkins Institute for Assured Autonomy

AI Assistant

Loading...