FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
From Programs to Interpretable Deep Models and Back

Author: Eran Yahav

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:From Programs to Interpretable Deep Models and Back
Authors:Eran Yahav
Proceedings:CAV All Papers
Editors: Georg Weissenbacher, Hana Chockler and Igor Konnov
Keywords:
Abstract:
Pages:10
Talk:Jul 14 14:00 (Session 96A: CAV Invited Talk: Eran Yahav)
Paper: