Nathanael Fijalkow's research videos https://diode.zone/c/nathanael_fijalkows_research_videos/videos Tue, 20 Oct 2026 10:23:16 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://diode.zone Nathanael Fijalkow's research videos https://diode.zone/lazy-static/avatars/61b689b7-84d5-43c7-9fa8-e63a7fd1d952.png https://diode.zone/c/nathanael_fijalkows_research_videos/videos All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder. https://diode.zone/feeds/podcast/videos.xml?videoChannelId=3388 <![CDATA[DeepSynth Project Presentation: Machine Learning Guided Program Synthesis]]> https://diode.zone/w/oXfbdQp2ww7BwH4TjhJo4f https://diode.zone/w/oXfbdQp2ww7BwH4TjhJo4f Sun, 10 Jan 2021 04:05:22 GMT Nathanael Fijalkow's research videos nonadult DeepSynth Project Presentation: Machine Learning Guided Program Synthesis <![CDATA[Assume-guarantee Synthesis for Prompt Linear Temporal Logic]]> https://diode.zone/w/1dFD4FZ6zXCD1acEmhG6ot https://diode.zone/w/1dFD4FZ6zXCD1acEmhG6ot Mon, 28 Dec 2020 22:02:57 GMT Long presentation video for IJCAI 2020

]]> Nathanael Fijalkow's research videos nonadult Assume-guarantee Synthesis for Prompt Linear Temporal Logic Long presentation video for IJCAI 2020