Author:
Gulwani Sumit,Korthikanti Vijay Anand,Tiwari Ashish
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Bottom-Up Synthesis for Programs with Local Variables;Proceedings of the ACM on Programming Languages;2024-01-05
2. Automated triangle constructions in hyperbolic geometry;Annals of Mathematics and Artificial Intelligence;2023-06-12
3. Program Synthesis for Artifacts beyond Programs;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29
4. Phrase2Set: Phrase-to-Set Machine Translation and Its Software Engineering Applications;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03
5. On Automating Triangle Constructions in Absolute and Hyperbolic Geometry;Electronic Proceedings in Theoretical Computer Science;2021-12-30