Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani. Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs. Proceedings of the ACM on Programming Languages, 7(OOPSLA1):727-756, April 2023. [doi]
Abstract is missing.