4 ms·
For non-twitter, I was looking the other day at https://reasonablypolymorphic.com/blog/syntax-guided-synthesis/index.html https://reasonablypolymorphic.com/blog
by 082349872349872 2y ago
For non-twitter, I was looking the other day at https://reasonablypolymorphic.com/blog/syntax-guided-synthesis/index.html https://reasonablypolymorphic.com/blog/syntax-guided-synthes... , which unfortunately points at a dead page related to https://sygus.org/comp/2019/ https://sygus.org/comp/2019/ , but seems related?
- pbib 2y agoI believe the dead link in the article is referencing this journal paper[1], which is an expanded version of the original syntax guided synthesis paper. [1] https://web.eecs.umich.edu/~weimerw/2022-481W/readings/Alur13.pdf https://web.eecs.umich.edu/~weimerw/2022-481W/readings/Alur1...
- 082349872349872 2y agoThanks! Looks like barliman is also (like its namesake?) slowly progressing: https://github.com/webyrd/Barliman https://github.com/webyrd/Barliman