CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura Conference on Computer-Aided Verification

1.2K views - 1 year ago

CAV 2020 Teaser Videos July 21 Conference on Computer-Aided Verification

1.3K views - 5 years ago

CAV 2020 Session 3A: AI Verification July 21 Conference on Computer-Aided Verification

699 views - 5 years ago

SYNT 2020: Modular Synthesis of Reactive Programs Conference on Computer-Aided Verification

280 views - 5 years ago

CAV 2020 Teaser Videos July 22 Conference on Computer-Aided Verification

504 views - 5 years ago

"MightyL: A Compositional Translation from MITL to Timed Automata" Hsi-Ming Ho | CAV 2017 Conference on Computer-Aided Verification

321 views - 8 years ago

How Amazon's automated reasoning team use verification methods | Amazon Science Amazon Science

1.2K views - 5 years ago

Terence Tao - Mathematics in the Age of AI SAIR

34.1K views - 1 day ago

LogicLounge with Cory Doctorow: Surveillance Capitalism is not a Rogue Capitalism Vienna Center for Logic and Algorithms

962 views - 5 years ago

Generative vs Agentic AI: Shaping the Future of AI Collaboration IBM Technology

981.2K views - 10 months ago

When Computers Write Proofs, What's the Point of Mathematicians? Quanta Magazine

465.6K views - 2 years ago

What is a Digital Twin? IBM Technology

112.7K views - 1 year ago

Most brilliant scenes 🤯| #hiddenfigures #viral Movie Berries

1.7M views - 1 year ago

What is Retrieval-Augmented Generation (RAG)? IBM Technology

1.7M views - 2 years ago

Terry Tao - Machine assistance and the future of research mathematics - IPAM at UCLA Institute for Pure & Applied Mathematics (IPAM)

56.3K views - 2 weeks ago

Programming, Debugging, and Reasoning Techniques for Posits | Santosh Nagarakatte madPL

1.1K views - 5 years ago

Hyperscaler design and verification with HyperLynx | DesignCon 2025 Siemens Software

249 views - 1 year ago

Algorithmic Improvisation for Dependable and Secure Autonomy Microsoft Research

469 views - 6 years ago

Mastercam x ModuleWorks | 20 Years of Teamwork Built Into Every Sprint ModuleWorks Aachen (MW)

102 views - 1 month ago

Vector Databases simply explained! (Embeddings & Indexes) AssemblyAI

623.7K views - 2 years ago