I 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/Alur1...
The same group (Nvidia/Rapids) is working on a similar project but with Polars API compatibility instead of Pandas. It seems to be quite far from completion, though. See discussion:…
I 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/Alur1...
The same group (Nvidia/Rapids) is working on a similar project but with Polars API compatibility instead of Pandas. It seems to be quite far from completion, though. See discussion:…