@misc{indiciae8942694f483a,
  title = {Template-based Program Synthesis using Stellensätze},
  author = {Amir Kafshdar Goharshady and S. Hitarth and Fatemeh Mohammadi and Harshit J Motwani},
  year = {2022},
  doi = {10.1145/3586052},
  url = {https://arxiv.org/abs/2209.03602},
  note = {Source identifier: 2209.03602}
}