Accelerating Program Synthesis in miniKanren
Students and employees of Leiden University may upload videos on Kaltura. Only upload videos that you made or that you are authorized to use. You must own the copyright to your video or hold permissions from the copyright holders. If you believe your copyright-protected work was posted on Kaltura without authorization, you can send an e-mail message to: [email protected] or flag the video in question. Leiden University expressly disclaims all liability for damages in any way resulting from or in connection with the use of videos on Kaltura.
…Read more Less…
Lightning talk by Robert Zinkov, Michael Ballantyne, Gregory L. Rosenblatt and William E. Byrd