Abstracts.2021.ML.Verification

Jump to bottom

Fabian edited this page Feb 7, 2022 · 7 revisions

Designing a Dependently-Typed Language for Machine-Learning Verification

by Matthew Daggit

Abstract

TBD

Lecture material

TBD

Bibliography

TBD