dae houlihan<p>RT @ZennaTavares@twitter.com</p><p>Introducing AutumnSynth, a step toward automating scientific discovery through program synthesis.</p><p>AutumnSynth synthesizes the source code of a video game from seconds of play. </p><p>paper: <a href="https://basis.ai/publications/autumn_popl23.pdf" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">basis.ai/publications/autumn_p</span><span class="invisible">opl23.pdf</span></a> </p><p>Blog: <a href="https://basis.ai/blog/autumn/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">basis.ai/blog/autumn/</span><span class="invisible"></span></a></p><p>Why do this? How does it work?<br>🦃🧵 <a href="https://twitter.com/ZennaTavares/status/1620855534483296256" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">twitter.com/ZennaTavares/statu</span><span class="invisible">s/1620855534483296256</span></a></p><p><a href="https://mastodon.online/tags/cogsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cogsci</span></a> <span class="h-card"><a href="https://a.gup.pe/u/cogsci" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>cogsci</span></a></span> <a href="https://mastodon.online/tags/compcogsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compcogsci</span></a> <a href="https://mastodon.online/tags/programinduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programinduction</span></a> <a href="https://mastodon.online/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programsynthesis</span></a></p>