Daniel JensoninStanford CS224W GraphML TutorialsAutomated Theorem Proving with Graph Neural NetworksBy Dan Jenson, Julian Cooper, and Daniel Huang as part of the CS 224W course project at Stanford University.May 15, 2023May 15, 2023
Daniel JensonDRGA: Day 30..or so:It’s been a hustle. Going down the coast of the U.S., dad and I just had a lot of projects we were trying to wrap up. In and out of cafes…Nov 16, 2021Nov 16, 2021
Daniel JensonDRGA: Day 2, Half Moon BayToday was a lazy day in Half Moon Bay. Unlike the relentless march of life in the City, life on a boat is largely governed by weather…Sep 30, 2021Sep 30, 2021
Daniel JensonDRGA: Day 1 — Take 2Dad is fond of a saying these days: “A sailor’s plans are written in sand.” So I suppose it’s only fitting that our first day at sea…Sep 29, 2021Sep 29, 2021