EasyChair Smart SlideUser guide
Author: Matthew Daggitt

This page shows all presentations of this author published in EasyChair Smart Slide.

Vehicle: a High-Level Language for Embedding Logical Specifications in Neural Networks

Vehicle: a High-Level Language for Embedding Logical Specifications in Neural Networks

Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair