Towards Verification of General Neural Networks: A Dual Approach

(41:34)

Towards Verified Deep Learning

(54:47)

Towards Verified Stochastic Variational Inference for Probabilistic Programs

(20:50)

Towards a Verified Proof Checker for Deep Neural Network Verification - Remi Desmartin, LAIV, HWU

(48:15)

Towards verified stochastic variational inference for probabilistic programs

(52:43)

Towards Verified Stochastic Variational Inference for Probabilistic Programs - Hongseok Yang

(47:18)

Toward Verified Artificial Intelligence

(4:31)

Towards Verified, Constant-time Floating Point Operations

(24:5)

You’re Setting Clear Boundaries On A Road Toward Success

(6:9)

Towards Verified Robot Code

(37:47)

FSTTCS2019 S004 Towards Verified Artificial Intelligence with VerifAI and Scenic

(1:31:21)

[PLDI24] Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into(…)

(18:5)

Towards Formally Verified Just-In-Time Compilation

(29:28)

Toward Neural-Network-Guided Program Synthesis and Verification

(14:50)

Lean Together 2021: Towards verified decompilation using Lean 4

(32:1econd)

Towards Verification of Behavioral Software Contracts

(1:28:56)

[LOPSTR23] Towards a Certified Proof Checker for Deep Neural Network Verification

(26:26)

Towards Dependable and Robust Planning: Learning and Verification, Nils Jansen

(20:54)

Steps toward usable verification

(55:13)