Learning over Isabelle’s Dependency Graphs 17th May 2019 Jake Palmer Date: 17th May 2019Time: 14:00-15:30Location: IF 3.02TalksTitle: Learning over Isabelle’s Dependency Graphs Speaker: James Vaughn