Justin Hsu 86d1a81cb3 Start preparing F20 webpage.		2020-08-14 10:51:54 -05:00
..
slides	Start preparing F20 webpage.	2020-08-14 10:51:54 -05:00
readings.md	More readings on verifying, synthesizing NN.	2019-11-05 17:42:14 -06:00
related.md	Fill out schedule with papers.	2019-08-23 18:22:44 -05:00
software.md	Course planning.	2019-07-31 19:54:50 -05:00
summary-template.tex	Lecture -> Presentation	2019-09-20 17:26:44 -05:00